K. R.  Apt and Pedreschi, D., ?Reasoning about Termination of Pure Prolog Programs?, Inf. Comput., vol. 106, pp. 109-157, 1993.