Proc. of the first international conference on Rewriting techniques and applications
A new method for establishing refutational completeness in theorem proving
Proc. of the 8th international conference on Automated deduction
Proc. of the 8th international conference on Automated deduction
The Concept of Demodulation in Theorem Proving
Journal of the ACM (JACM)
Experiment with an automatic theorem-prover having partial ordering inference rules
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Special Relations in Automated Deduction
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities
Proceedings of the 5th Conference on Automated Deduction
Proceedings of the 7th International Conference on Automated Deduction
Combination of Distributed Search and Multi-search in Peers-mcd.d
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A taxonomy of theorem-proving strategies
Artificial intelligence today
Automating Algebraic Proofs in Algebraic Logic
Fundamenta Informaticae
| Hi-index | 0.00 |