TY  - BOOK
AU  - Gradel, Eric
AU  - Weinstein, S.
AU  - Venema, Y.
AU  - Vardi, M.Y.
AU  - Spencer, J.
AU  - Marx, M
AU  - Libkin, L
AU  - Kolaitis, P.G.
TI  - Finite Model Theory and its Applications
SN  - 9788184895032
U1  - 511.3 GRA 
PY  - 2007///
CY  - Berlin
PB  - Springer Verlag, Netherlands
KW  - Constraint databases
KW  - Computational complexity
KW  - Finite model theory
N1  - <p>Contents:</p>

<p>1. Unifying Themes
ER  -