--- a/Paper/document/root.bib	Thu Apr 01 06:04:43 2010 +0200
+++ b/Paper/document/root.bib	Thu Apr 01 06:47:37 2010 +0200
@@ -1,3 +1,13 @@
+@InProceedings{ UrbanBerghofer06,
+	author = "C. Urban and S. Berghofer",
+	title = "{A} {R}ecursion {C}ombinator for {N}ominal {D}atatypes {I}mplemented in {I}sabelle/{HOL}",
+	booktitle = "Proc.~of the 3rd IJCAR Conference",
+	year = 2006,
+	series = "LNAI",
+	volume = 4130,
+	pages = "498--512"
+}
+
 @InProceedings{LeeCraryHarper07,
   author = 	 {D.~K.~Lee and K.~Crary and R.~Harper},
   title = 	 {{T}owards a {M}echanized {M}etatheory of {Standard ML}},