Daniel J. Dougherty;Patricia Johann
-;-
Constraint solving on terms
Constraints in computational logics