Heinrich Wansing Tagungsbericht: Workshop ``Proof Theory of Modal Logic''. 33 1994 8 KI 1 db/journals/ki/ki8.html#Wansing94