P.  Mascellani and Pedreschi, D., ?Proving termination of Prolog programs?, in GULP-PRODE (1), 1994, pp. 46-61.