Finite Model Theory and Its Applications - Gradel, Erich; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Finite model theory; Computational complexity; Constraint databases; Computer Science; Mathematical Logic and Formal Languages