Comparison of natural deduction and locking resolution implementations
- 5 October 2005
- book chapter
- Published by Springer Nature
- p. 159-171
- https://doi.org/10.1007/bfb0000058
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A simplified problem reduction formatArtificial Intelligence, 1982
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- Deleting Repeated Goals in the Problem Reduction FormatJournal of the ACM, 1981
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Non-resolution theorem provingArtificial Intelligence, 1977
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- Unit Refutations and Horn SetsJournal of the ACM, 1974