Frédéric Mesnard, Sébastien Hoarau. Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. In Jean-Jacques Chabrier, editor, JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France. pages 259-273, 1995.
Abstract is missing.