Moshe Y. Vardi
Rice University, Department of Computer Science, Houston, TX
A Logical Approach to Constraint Satisfaction
Complexity of Constraints