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.
Abstract is missing.