Marc Meister, Khalil Djelloul, Jacques Robin. Une sémantique complète pour CHR en logique des transactions.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France.
⟨inria-00151149⟩