Pierre Deransart, Mireille Ducassé, Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France.
⟨inria-00151138⟩