1 

     2 @INPROCEEDINGS{Urban98,

     3         AUTHOR        = {C.~Urban},

     4         TITLE         = {{I}mplementation of {P}roof {S}earch in the

     5                          {I}mperative {P}rogramming {L}anguage {P}izza},

     6         BOOKTITLE     = {Automated Reasoning with Analytic Tableaux and

     7                          Related Methods},

     8         EDITOR        = {H.~de Swart},

     9         PUBLISHER     = {Springer-Verlag},

    10         SERIES        = {LNAI},

    11         VOLUME        = 1397,

    12         PAGES         = {313--319},

    13         YEAR          = 1998

    14 }

    15