A Rewrite Approach for Constraint Logic Programming.

Gilles Richard Frédéric Saubion A Rewrite Approach for Constraint Logic Programming. 469-482 1995 conf/latin/1995 LATIN db/conf/latin/latin95.html#RichardS95 https://doi.org/10.1007/3-540-59175-3_111