TY  - BOOK
AU  - Gradel Erich
AU  - Kolaitis Phokion G
AU  - Libkin Leonid
AU  - Marx Maarten
AU  - Spencer Joel
AU  - Vardi Moshe Y
AU  - Venema Yde
AU  - Weinstein Scott
TI  - Finite model theory and its applications
SN  - 978-3-540-00428-8
U1  - 511.3 
PY  - 2007///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computational complexity
KW  - Constraint databases
KW  - Finite model theory
ER  -