Descriptive Complexity Theory for Constraint Databases - Kreutzer, S (Diploma thesis‚ RWTH Aachen, 1999)