Subsumption algorithms based on search trees
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 135-148
- https://doi.org/10.1007/3-540-61064-2_34
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On the efficiency of subsumption algorithmsJournal of the ACM, 1985
- The Concept of Weak Substitution in Theorem-ProvingJournal of the ACM, 1973