Inferring Termination Conditions for Logic Programs using Backwards Analysis.

Samir Genaim Michael Codish Inferring Termination Conditions for Logic Programs using Backwards Analysis. 75-91 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068404002236 db/journals/tplp/tplp5.html#GenaimC05