--- /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
+}
+