Hélène Kirchner, Christophe Ringeissen
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms
ICLP, 1992.
@inproceedings{JICSLP-1992-KirchnerR, author = "Hélène Kirchner and Christophe Ringeissen", booktitle = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}", isbn = "0-262-51064-2", pages = "225--239", publisher = "{MIT Press}", title = "{A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms}", year = 1992, }