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

D.  Pedreschi, Ruggieri, S., and Smaus, J. - G., ?Classes of terminating logic programs?, TPLP, vol. 2, pp. 369-418, 2002.

D.  Pedreschi, Ruggieri, S., and Smaus, J. - G., ?Classes of Terminating Logic Programs?, CoRR, vol. cs.LO/0106, 2001.