Theorem Proving Applications for QU-Prolog.
Peter J. Robinson, John Staples, Anthony S. K. Cheng
VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming
DBLP recordconf/iclp/RobinsonSC94 ↗
Browse the full ICLP paper archive.