Abstract is missing.
- Hierarchic Superposition RevisitedUwe Waldmann. 1 [doi]
- The Efficiency of Automated Theorem Proving by Translation to Less Expressive LogicsNegin Arhami, Geoff Sutcliffe. 2-11 [doi]
- A Model Guided Instantiation Heuristic for the Superposition Calculus with TheoriesJoshua Bax. 12-24 [doi]
- SGGS Theorem Proving: an ExpositionMaria Paola Bonacina, David A. Plaisted. 25-38 [doi]
- Logtk: A Logic ToolKit for Automated Reasoning and its ImplementationSimon Cruanes. 39-49 [doi]
- Beagle as a HOL4 external ATP methodThibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish. 50-59 [doi]
- Machine Learner for Automated Reasoning 0.4 and 0.5Cezary Kaliszyk, Josef Urban, JirĂ Vyskocil. 60-66 [doi]
- Automated Theorem Proving using the TPTP Process Instruction LanguageMuhammad Nassar, Geoff Sutcliffe. 67-75 [doi]
- Razor: Provenance and Exploration in Model-FindingSalman Saghafi, Daniel J. Dougherty. 76-93 [doi]
- A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational ClausesSophie Tourret, Mnacho Echenim, Nicolas Peltier. 94-104 [doi]
- Polymorphic+Typeclass SuperpositionDaniel Wand. 105-119 [doi]