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