James Harland
On Goal-Directed Provability in Classical Logic
ICLP, 1993.
@inproceedings{ILPS-1993-Harland,
author = "James Harland",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63152-0",
pages = "677",
publisher = "{MIT Press}",
title = "{On Goal-Directed Provability in Classical Logic}",
year = 1993,
}