Heinrich Wansing Sequent Calculi for Normal Modal Proposisional Logics. 125-142 1994 4 J. Log. Comput. 2 db/journals/logcom/logcom4.html#Wansing94