References in zbMATH (referenced in 17 articles , 1 standard article )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Bonacina, Maria Paola; Plaisted, David A.: Semantically-guided goal-sensitive reasoning: model representation (2016)
  2. Plaisted, David A.: History and prospects for first-order automated deduction (2015)
  3. Navarro, Juan Antonio; Voronkov, Andrei: Proof systems for effectively propositional logic (2008)
  4. Letz, Reinhold; Stenz, Gernot: The disconnection tableau calculus (2007)
  5. Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael: Automated reasoning about metric and topology (2006)
  6. Bonacina, Maria Paola: Towards a unified model of search in theorem-proving: subgoal-reduction strategies (2005)
  7. Miller, Swaha; Plaisted, David A.: The space efficiency of OSHL (2005)
  8. Plaisted, David A.; Yahya, Adnan: A relevance restriction strategy for automated deduction (2003)
  9. Schmidt, Renate A.; Hustadt, Ullrich: A principle for incorporating axioms into the first-order translation of modal formulae. (2003)
  10. Letz, Reinhold; Stenz, Gernot: Integration of equality reasoning into the disconnection calculus (2002)
  11. Schulz, Stephan; Sutcliffe, Geoff: System description: GrAnDe 1.0 (2002)
  12. Sutcliffe, G.; Suttner, C.B.; Pelletier, F.J.: The IJCAR ATP system competition (2002)
  13. Yahya, Adnan H.: Duality for goal-driven query processing in disjunctive deductive databases (2002)
  14. Yahya, Adnan; Plaisted, David A.: Ordered semantic hyper tableaux (2002)
  15. Goré, Rajeev (ed.); Leitsch, Alexander (ed.); Nipkow, Tobias (ed.): Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (2001)
  16. Letz, Reinhold; Stenz, Gernot: Proof and model generation with disconnection tableaux (2001)
  17. Letz, Reinhold; Stenz, Gernot: DCTP -- a disconnection calculus theorem prover -- system abstract (2001)