Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Unsorted Functional Translations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |