×
1999
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation.
[DOI]
Neng-Fa Zhou
,
Sosuke Kaneko
Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999