@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}
}
