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