Djelloul, et al.. Toward a First-order Extension of Prolog's Unification Using CHR. ACM Press, 2007, doi:10.1145/1244002.1244016.