Renate A. Schmidt: Resolution is a Decision Procedure for Many Propositional Modal Logics. Advances in Modal Logic 1996: 189-208