The anatomy of vampire
- 1 January 1995
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 15 (2) , 237-265
- https://doi.org/10.1007/bf00881918
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Controlling redundancy in large search spaces: Argonne-style theorem proving through the yearsPublished by Springer Nature ,2005
- Signature-check based unification filterSoftware: Practice and Experience, 1994
- SETHEO V3.2: Recent developmentsLecture Notes in Computer Science, 1994
- Extended path-indexingPublished by Springer Nature ,1994
- Caching and lemmaizing in model elimination theorem proversPublished by Springer Nature ,1992
- On the power of magicPublished by Association for Computing Machinery (ACM) ,1987
- Sets and negation in a logic data base language (LDL1)Published by Association for Computing Machinery (ACM) ,1987
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- On the efficiency of subsumption algorithmsJournal of the ACM, 1985
- Problems and Experiments for and with Automated Theorem-Proving ProgramsIEEE Transactions on Computers, 1976