Philip T. Cox, Tomasz Pietrzykowski
Surface Deduction: A Uniform Mechanism for Logic Programming
ICLP, 1985.
@inproceedings{SLP-1985-CoxP85,
author = "Philip T. Cox and Tomasz Pietrzykowski",
booktitle = "{Proceedings of the Second Symposium on Logic Programming}",
isbn = "0-8186-0636-3",
pages = "220--227",
publisher = "{IEEE-CS}",
title = "{Surface Deduction: A Uniform Mechanism for Logic Programming}",
year = 1985,
}