Finite model theory and its applications - Grädel, Erich, 1958- (Texts in theoretical computer science, 2007)