https://hal-univ-artois.archives-ouvertes.fr/hal-03300935 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 12:25:12 PM Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Christophe Lecoutre, Ph. Devienne, P Lebègue. Termination induction by means of an abstract resolution with tabulation. Actes des Journées GROPLAN et GDR Programmation et outils de l'intelligence artificielle, 1992, Nancy, France. ⟨hal-03300935⟩