@article {DBLP:journals/corr/cs-LO-0106050, title = {Classes of Terminating Logic Programs}, journal = {CoRR}, volume = {cs.LO/0106}, year = {2001}, author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus} }