Reexamining intractability of tableau methods
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Using forcing to prove completeness of resolution and paramodulation
Journal of Symbolic Computation
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Dissolution: making paths vanish
Journal of the ACM (JACM)
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Cancellative abelian monoids and related structures in refutational theorem proving (Part I)
Journal of Symbolic Computation
Cancellative abelian monoids and related structures in refutational theorem proving (part II)
Journal of Symbolic Computation
Ordering-based strategies for horn clauses
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Contextual Rewriting In Automated Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |