Fausto Giunchiglia Roberto Sebastiani Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). 158-178 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#GiunchigliaS00