Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Ordered chaining calculi for first-order theories of transitive relations
Journal of the ACM (JACM)
Automated complexity analysis based on ordered resolution
Journal of the ACM (JACM)
General Algorithms for Permutations in Equational Inference
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Theorem Proving with Sequence Variables and Flexible Arity Symbols
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Complexity Analysis Based on Ordered Resolution
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Model-Theoretic Methods in Combined Constraint Satisfiability
Journal of Automated Reasoning
A survey of automated deduction
Artificial intelligence today
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
| Hi-index | 0.00 |