Frédéric Mesnard, Roberto Bagnara. cTI: A constraint-based termination inference tool for ISO-Prolog. TPLP, 5(1-2):243-257, 2005. [doi]
@article{MesnardB05, title = {cTI: A constraint-based termination inference tool for ISO-Prolog}, author = {Frédéric Mesnard and Roberto Bagnara}, year = {2005}, doi = {10.1017/S1471068404002017}, url = {http://dx.doi.org/10.1017/S1471068404002017}, tags = {Prolog, rule-based, constraints, termination}, researchr = {https://researchr.org/publication/MesnardB05}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {5}, number = {1-2}, pages = {243-257}, }