+
−
@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+
−
}+
−
+
−