Andreas Werner;Alexander Bockmayr;Stefan Krischer
-;-;-
Constraint solving on terms
Constraints in computational logics