A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Uniform Derivation of Decision Procedures by Superposition
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Extending Decidable Clause Classes via Constraints
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Completeness and Redundancy in Constrained Clause Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Information and Computation
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Tree Automata and Automated Model Building
Fundamenta Informaticae
Hi-index | 0.00 |