@article {DBLP:journals/tplp/PedreschiRS02, title = {Classes of terminating logic programs}, journal = {TPLP}, volume = {2}, number = {3}, year = {2002}, pages = {369-418}, author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus} }