Some relationships between unification, restricted unification, and matching
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Subsumption and Connection GraphsInformatik-Fachberichte, 1981
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975