Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
Interpolation Theorems for Resolution in Lower Predicate Calculus
Journal of the ACM (JACM)
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
IEEE Transactions on Software Engineering
Journal of Symbolic Computation
A Theorem Prover for Verifying Iterative Programs Over Integers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Ordered chaining calculi for first-order theories of transitive relations
Journal of the ACM (JACM)
An Approach for Finding C-Linear Complete Inference Systems
Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Experiment with an automatic theorem-prover having partial ordering inference rules
Communications of the ACM
Cancellative abelian monoids and related structures in refutational theorem proving (part II)
Journal of Symbolic Computation
Deriving Focused Calculi for Transitive Relations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Superposition and Chaining for Totally Ordered Divisible Abelian Groups
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Automatic deduction and equality
ACM '79 Proceedings of the 1979 annual conference
A short survey on the state of the art in matching and unification problems
ACM SIGSAM Bulletin
Efficient E-Matching for SMT Solvers
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Application of automatic transformations to program verification
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Negative hyper-resolution for proving statements containing transitive relations
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
The management of heuristic search in boolean experiments with RUE resolution
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A man-machine theorem proving system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Typeful ontologies with direct multilingual verbalization
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
| Hi-index | 0.02 |