A Proof Manager for Verification of Logic Programs.

Sophie Renault Pierre Deransart A Proof Manager for Verification of Logic Programs. 0- 1994 LPE db/conf/iclp/iclp94-w4.html#RenaultD94