Hajnal Andréka and István Németi

Reducing first-order logic to three-dimensional diagonal-free cylindric algebras

Here are two links with relevant material:

http://arxiv.org/abs/1111.0995
http://www.renyi.hu/~nemeti/FormalizingST.htm