The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The SAC-1 system: An introduction and survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algorithms for polynomial factorization.
Algorithms for polynomial factorization.
Factoring multivariate polynomials over the integers
ACM SIGSAM Bulletin
Communications of the ACM
Inference with path resolution and semantic graphs
Journal of the ACM (JACM)
Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
An algorithm for finding canonical sets of ground rewrite rules in polynomial time
Journal of the ACM (JACM)
Dissolution: making paths vanish
Journal of the ACM (JACM)
Factorization and circuit in the connection method
Journal of the ACM (JACM)
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Journal of the ACM (JACM)
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Adaptive Predicate Managers in Database Systems
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
An Efficient Proof Method for Non-clausal Reasoning
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Handbook of automated reasoning
Connections in nonclassical logics
Handbook of automated reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Simultaneous Rigid E-Unification and Related Algorithmic Problems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Decidability Problems for the Prenex Fragment of Intuitionistic Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Herbrand Award Acceptance Speech
Journal of Automated Reasoning
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding First Order Proofs in SMT
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding First Order Proofs in SAT
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Early History and Perspectives of Automated Deduction
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Formal to Practical Security
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Mathematical domain reasoning tasks in natural language tutorial dialog on proofs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Subsumption and connection graphs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Path resolution with link deletion
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Matrix proof methods for modal logics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Protocol verification via rigid/flexible resolution
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Path dissolution: a strongly complete rule of inference
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Path dissolution: a strongly complete rule of inference
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A sequent calculus with implicit term representation
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Rigid tree automata and applications
Information and Computation
A non-clausal connection calculus
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence
On the dynamic increase of multiplicities in matrix proof methods for classical higher-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Satisfiability checking of non-clausal formulas using general matings
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A proposal for broad spectrum proof certificates
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Foundational proof certificates in first-order logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.02 |