Incorporating equality into logic programming via surface deduction
- 31 December 1986
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 31, 177-189
- https://doi.org/10.1016/0168-0072(86)90069-2
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Linear unificationJournal of Computer and System Sciences, 1978