Olivier Roussel, Philippe Mathieu. Une nouvelle méthode de compilation logique: l achèvement par cycles. In Jean-Louis Imbert, editor, JFPLC 96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France. pages 271-286, Hermes, 1996.
Abstract is missing.