1999
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation.
Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999