@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

}