A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Analysis of Distributed-Search Contraction-Based Strategies
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001
On using ground joinable equations in equational theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Abstract canonical presentations
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
ACM Transactions on Computational Logic (TOCL)
Structures for Abstract Rewriting
Journal of Automated Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Canonical Inference for Implicational Systems
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
A taxonomy of theorem-proving strategies
Artificial intelligence today
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
Journal of Automated Reasoning
Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
Hi-index | 5.23 |