Peter J. Robinson, John Staples, Anthony S. K. Cheng. Theorem Proving Applications for QU-Prolog. In Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi, editors, ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.
@inproceedings{RobinsonSC94,
title = {Theorem Proving Applications for QU-Prolog},
author = {Peter J. Robinson and John Staples and Anthony S. K. Cheng},
year = {1994},
researchr = {https://researchr.org/publication/RobinsonSC94},
cites = {0},
citedby = {0},
booktitle = {ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994},
editor = {Roy Dyckhoff and Lars-Henrik Eriksson and Alberto Momigliano and Mario Ornaghi},
}