@conference {DBLP:conf/tacs/AptP91, title = {Proving Termination of General Prolog Programs}, booktitle = {TACS}, year = {1991}, pages = {265-289}, author = {Krzysztof R. Apt and Dino Pedreschi} }