. "Generating Propagation Rules for Finite Domains via Unification in Finite Algebras" . "Ringeissen Christophe, Monfroy Eric. Generating Propagation Rules for Finite Domains via Unification in Finite Algebras. ERCIM/COMPULOG Workshop on Constraints, Oct 1999, Paphos, Cyprus, 17 p" . "1999" . .