Resolution is a Decision Procedure for Many Propositional Modal Logics. - Schmidt, Renate A. (1996)