A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. - Neng-Fa Zhou; Sosuke Kaneko (WOID@ICLP, 1999)