@article {DBLP:journals/iandc/AptP93,
	title = {Reasoning about Termination of Pure Prolog Programs},
	journal = {Inf. Comput.},
	volume = {106},
	number = {1},
	year = {1993},
	pages = {109-157},
	author = {Krzysztof R. Apt and Dino Pedreschi}
}
