D.  Pedreschi, Ruggieri, S., and Smaus, J. - G., ?Characterisations of Termination in Logic Programming?, in Program Development in Computational Logic, 2004, pp. 376-431.