Artificial Intelligence Review
Resolution decision procedures
Handbook of automated reasoning
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Hi-index | 0.00 |