Frédéric Mesnard Roberto Bagnara cTI: A constraint-based termination inference tool for ISO-Prolog. 243-257 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068404002017 db/journals/tplp/tplp5.html#MesnardB05