cTI: Bottom-Up Termination Inference for Logic Programs.

Serge Burckel Sébastien Hoarau Frédéric Mesnard Ulrich Neumerkel cTI: Bottom-Up Termination Inference for Logic Programs. 123-134 2000 15. WLP db/conf/wlp/wlp2000-2.html#BurckelHMN00