Étienne Payet, Frédéric Mesnard. Inférence de non-terminaison pour les programmes logiques avec contraintes. In Frédéric Mesnard, editor, Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes, 2004.
Abstract is missing.