Cited in
(31)- Duality for goal-driven query processing in disjunctive deductive databases
- Ordered semantic hyper tableaux
- The IJCAR ATP system competition
- The Relative Power of Semantics and Unification
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- scientific article; zbMATH DE number 1950261 (Why is no real title available?)
- scientific article; zbMATH DE number 2090306 (Why is no real title available?)
- A principle for incorporating axioms into the first-order translation of modal formulae.
- The disconnection tableau calculus
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Hilberticus
- STRIP
- DWAM
- GrAnDe
- SATCHMO
- SATCHMOREBID
- iProver-Eq
- CLIN
- E-KRHyper
- 3TAP
- UCPOP
- MODPROF
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated Reasoning with Analytic Tableaux and Related Methods
- Proof and model generation with disconnection tableaux
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Automated Reasoning About Metric and Topology
- History and prospects for first-order automated deduction
- A relevance restriction strategy for automated deduction
- Proof Systems for Effectively Propositional Logic
This page was built for software: DCTP
