@article {DBLP:journals/jlp/AptGP96,
	title = {A Closer Look at Declarative Interpretations},
	journal = {J. Log. Program.},
	volume = {28},
	number = {2},
	year = {1996},
	pages = {147-180},
	author = {Krzysztof R. Apt and Maurizio Gabbrielli and Dino Pedreschi}
}
@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}
}
@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}
}
