Descriptive Complexity Theory for Constraint Databases
E. Grädel and S. Kreutzer
Book Title
Computer Science Logic (CSL)
Number
1683
Pages
67 – 82
Publisher
Springer
Series
LNCS
Year
1999
E. Grädel and S. Kreutzer