Frédéric Mesnard. Étude de la terminaison des programmes logiques avec contraintes au moyen d approximations. In Marc-Michel Corsini, editor, JFPLC 94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. pages 205, 1994.
Abstract is missing.