@conference {DBLP:conf/iclp/Pedreschi94,
	title = {A Proof Method for Runtime Properties of Prolog Programs},
	booktitle = {ICLP},
	year = {1994},
	pages = {584-598},
	author = {Dino Pedreschi}
}
