@ARTICLE{BoergerSchmitt97,
        AUTHOR             = {Egon B\"{o}rger and Peter H.Schmitt},
        JOURNAL            = {J.~Logic and Computation},
        NUMBER             = {5},
        PAGES              = {661--683},
        TITLE              = {A Description of the Tableau Method Using Abstract 
                              State Machines},
        VOLUME             = {7},
        YEAR               = {1997}
}