Rim Zarrad, Moussa Demba, Khaled Bsaïes. Prouvabilité et correction des formules implicatives.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.391-395.
⟨inria-00293706⟩