Classes of terminating logic programs.

Dino Pedreschi Salvatore Ruggieri Jan-Georg Smaus Classes of terminating logic programs. 369-418 2002 2 TPLP 3 db/journals/tplp/tplp2.html#PedreschiRS02