SPASS & FLOTTER version 0.42
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 141-145
- https://doi.org/10.1007/3-540-61511-3_75
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Substitution tree indexingLecture Notes in Computer Science, 1995
- A note on assumptions about Skolem functionsJournal of Automated Reasoning, 1995
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- An optimality result for clause form translationJournal of Symbolic Computation, 1992
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- Otter 2.0Lecture Notes in Computer Science, 1990
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- The lion and the unicornJournal of Automated Reasoning, 1985
- A Technique for Establishing Completeness Results in Theorem Proving with EqualitySIAM Journal on Computing, 1983