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