Basic superposition is complete
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 371-389
- https://doi.org/10.1007/3-540-55253-7_22
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Theorem proving with ordering constrained clausesPublished by Springer Nature ,1992
- Efficient deduction in equality Horn logic by Horn-completionInformation Processing Letters, 1991
- SOLVING SYMBOLIC ORDERING CONSTRAINTSInternational Journal of Foundations of Computer Science, 1990
- TRIP: An implementation of clausal rewritingPublished by Springer Nature ,1990
- Complete sets of reductions with constraintsPublished by Springer Nature ,1990