%0 Book
%A  edited by Heinrich Wansing.
%T Proof Theory of Modal Logic
%U /book/89949986/Proof-Theory-of-Modal-Logic/