Pascal Nicolas, Béatrice Duval. Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. 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 275-289, 1995.
Abstract is missing.