Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, R. A. (1999). Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning, 22(4), 379-396.