Basic paramodulation and superposition
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Proving refutational completeness of theorem-proving strategiesJournal of the ACM, 1991
- Using forcing to prove completeness of resolution and paramodulationJournal of Symbolic Computation, 1991
- A Proof Theory for General UnificationPublished by Springer Nature ,1991
- Canonical Equational ProofsPublished by Springer Nature ,1991
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- A Technique for Establishing Completeness Results in Theorem Proving with EqualitySIAM Journal on Computing, 1983
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967