Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
Journal of Symbolic Computation
Hi-index | 0.00 |