Christophe Lecoutre, Philippe Devienne, Patrick Lebègue. Termination induction by means of an abstract OLDT resolution. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 353-373, 1992.
@inproceedings{LecoutreDL92,
title = {Termination induction by means of an abstract OLDT resolution},
author = {Christophe Lecoutre and Philippe Devienne and Patrick Lebègue},
year = {1992},
tags = {termination},
researchr = {https://researchr.org/publication/LecoutreDL92},
cites = {0},
citedby = {0},
pages = {353-373},
booktitle = {JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France},
editor = {Jean-Paul Delahaye and Philippe Devienne and Philippe Mathieu and Pascal Yim},
}