Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet. cTI: un outil pour l inférence de conditions optimales de terminasion pour Prolog. In Philippe Codognet, editor, Programmation en logique avec contraintes, Actes des JFPLC 2001, 24 avril - 27 avril 2001, Cité des sciences et de l industrie, Paris. pages 271-286, Hermes, 2001.
@inproceedings{MesnardNP01,
title = {cTI: un outil pour l inférence de conditions optimales de terminasion pour Prolog},
author = {Frédéric Mesnard and Ulrich Neumerkel and Étienne Payet},
year = {2001},
tags = {Prolog},
researchr = {https://researchr.org/publication/MesnardNP01},
cites = {0},
citedby = {0},
pages = {271-286},
booktitle = {Programmation en logique avec contraintes, Actes des JFPLC 2001, 24 avril - 27 avril 2001, Cité des sciences et de l industrie, Paris},
editor = {Philippe Codognet},
publisher = {Hermes},
isbn = {2-7462-0255-7},
}