A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms.

Hlne Kirchner, Christophe Ringeissen

Browse the full ICLP paper archive.