Combining Superposition, Sorts and Splitting
- 1 January 2001
- book chapter
- Published by Elsevier
- p. 1965-2013
- https://doi.org/10.1016/b978-044450813-3/50029-1
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Otter - The CADE-13 Competition IncarnationsJournal of Automated Reasoning, 1997
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- Removing redundancy from a clauseArtificial Intelligence, 1993
- Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information, 1992
- Termination of rewritingJournal of Symbolic Computation, 1987
- On the efficiency of subsumption algorithmsJournal of the ACM, 1985
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976