M. Bergère, Gérard Ferrand, Jean-Hugues Réty. Indépendance de la règle de calcul pour la résolution SLD avec retard. In Marc-Michel Corsini, editor, JFPLC 94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. pages 31-46, 1994.
Abstract is missing.