TY - CONF T1 - A Proof Method for Runtime Properties of Prolog Programs T2 - ICLP Y1 - 1994 A1 - Dino Pedreschi JF - ICLP ER -