Ordered chaining calculi for first-order theories of transitive relations
Journal of the ACM (JACM)
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
High performance ATP systems by combining several AI methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Ordering-based strategies for horn clauses
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
Journal of Automated Reasoning
Superposition for bounded domains
Automated Reasoning and Mathematics
| Hi-index | 0.00 |