Christophe Lecoutre, Ph. Devienne, P Lebègue. Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
Actes des Journées de travail sur la programmation équationnelle, fonctionnelle et logique (JTASPEFL), 1991, Bordeaux, France. pp.62-69.
⟨hal-03300937⟩