Khalil Djelloul, Thi-Bich-Hanh Dao, Thom Fruehwirth. Extension au premier ordre de l'unification des termes par CHR.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France.
⟨inria-00151075⟩