Descriptive Complexity Theory for Constraint Databases - Grädel, E; Kreutzer, S (Springer, 1999)