A method for simultaneous search for refutations and models by equational constraint solving
Journal of Symbolic Computation
The resolution calculus
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
Ordered Paramodulation and Resolution as Decision Procedure
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Algorithms on Atomic Representations of Herbrand Models
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Computational Representations of Herbrand Models Using Grammars
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality
KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
Using Resolution for Deciding Solvable Classes and Building Finite Models
Baltic Computer Science, Selected Papers
A Method for Building Models Automatically. Experiments with an Extension of OTTER
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Hi-index | 0.00 |