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