Finite model theory and its applications - Gradel Erich; Kolaitis Phokion G; Libkin Leonid; Marx Maarten; Spencer Joel; Vardi Moshe Y; Venema Yde; Weinstein Scott (Berlin Springer-Verlag, 2007)
Keywords: Computational complexity; Constraint databases; Finite model theory