--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Publications/tlca-99.bib	Sat Oct 22 12:11:38 2011 +0100
@@ -0,0 +1,15 @@
+
+
+@INPROCEEDINGS{UrbanBierman99,
+  AUTHOR       = {C.~Urban and G.M.~Bierman},
+  TITLE        = {{S}trong {N}ormalisation of {C}ut-{E}limination
+                  in {C}lassical {L}ogic},
+  BOOKTITLE    = {Typed Lambda Calculi and Applications},
+  EDITOR       = {J.-Y.~Girard},
+  PAGES        = {365--380},
+  SERIES       = {LNCS},
+  VOLUME       = 1581,
+  PUBLISHER    = {Springer Verlag},
+  YEAR         = 1999
+}
+