Philip T. Cox, Tomasz Pietrzykowski. Surface Deduction: A Uniform Mechanism for Logic Programming. In SLP. pages 220-227, 1985.
@inproceedings{CoxP85, title = {Surface Deduction: A Uniform Mechanism for Logic Programming}, author = {Philip T. Cox and Tomasz Pietrzykowski}, year = {1985}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/CoxP85}, cites = {0}, citedby = {0}, pages = {220-227}, booktitle = {SLP}, }