Gentzen-type systems and resolution rules. Part I. Propositional logic

Combinations of Modal Logics

Artificial Intelligence Review

Display Calculi for Logics with Relative Accessibility Relations

Journal of Logic, Language and Information

Clausal resolution in a logic of rational agency

Artificial Intelligence

Finding Tractable Formulas in NNF

CL '00 Proceedings of the First International Conference on Computational Logic

An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic

Selected Papers from Automated Deduction in Classical and Non-Classical Logics

A polynomial space construction of tree-like models for logics with local chains of modal connectives

Theoretical Computer Science

Resolution is Cut-Free

Journal of Automated Reasoning

Cut elimination in coalgebraic logics

Information and Computation

Resolution with Order and Selection for Hybrid Logics

Journal of Automated Reasoning