A Modular Framework for the Combination of Unification and Built-In Constraints.

Farid Ajili, Claude Kirchner

Browse the full ICLP paper archive.