# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1316165093 -7200
# Node ID 1b53c9e8719f68f3f33f1c8f106e0d94695c038f
# Parent  10fa937255da919710a25fece101a5e83731def6
all material

diff -r 10fa937255da -r 1b53c9e8719f LMCS-Paper/document/root.bib
--- a/LMCS-Paper/document/root.bib	Fri Sep 16 11:21:14 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Fri Sep 16 11:24:53 2011 +0200
@@ -1,4 +1,12 @@
-
+@Article{ Urban08,
+	author = "C. Urban",
+	title = "{N}ominal {T}echniques in {I}sabelle/{HOL}",
+	journal = "Journal of Automated Reasoning",
+	volume = "40",
+        number = "4",
+        pages = "327--356",
+	year = "2008"
+}
 
 @PhdThesis{Krauss09,
   author = 	 {A.~Krauss},