Ralf Treinen
-
Constraints and constraint solving: an introduction
Constraints in computational logics