%0 Conference Paper %B ICLP %D 1994 %T A Proof Method for Runtime Properties of Prolog Programs %A Dino Pedreschi %B ICLP %P 584-598 %G eng