@INPROCEEDINGS{Urban98,
        AUTHOR        = {C.~Urban},
        TITLE         = {{I}mplementation of {P}roof {S}earch in the
                         {I}mperative {P}rogramming {L}anguage {P}izza},
        BOOKTITLE     = {Automated Reasoning with Analytic Tableaux and
                         Related Methods},
        EDITOR        = {H.~de Swart},
        PUBLISHER     = {Springer-Verlag},
        SERIES        = {LNAI},
        VOLUME        = 1397,
        PAGES         = {313--319},
        YEAR          = 1998
}