@INCOLLECTION{PoseggaSchmitt99,
        AUTHOR        = {Joachim~Posegga and Peter~H.~Schmitt},
        PAGES         = {581--629},
        TITLE         = {Implementing Semantic Tableaux},
        PUBLISHER     = {Kluwer Academic Publishers},
        BOOKTITLE     = {Handbook of Tableau Methods},
        EDITOR        = {Marcello D\protect\'{}Agostino and Dov~M.~Gabbay 
                         and Reiner H\protect\"{a}hnle and Joachim Posegga},
        YEAR          = {1999}
}