14
|
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 |
|