diff -r 0b4a5595cbe4 -r 680070975206 Publications/tableaux-98.bib --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Publications/tableaux-98.bib Sat Oct 22 12:11:38 2011 +0100 @@ -0,0 +1,15 @@ + +@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 +} +