Kolaitis, P.G, Marx, M, Gradel, Erich Finite model theory and its application - NEW DELHI SPRINGER 2007 - XI,437P ISBN: 9788184895032 Subjects--Topical Terms: FINITE MODEL THEORY. COMPUTATIONAL COMPLEXITY. CONSTRAINT DATABASS. Dewey Class. No.: 511.34 FIN