--- a/LMCS-Paper/document/root.bib	Tue Sep 13 16:14:32 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Tue Sep 13 19:48:47 2011 +0200
@@ -1,3 +1,13 @@
+
+
+@PhdThesis{Krauss09,
+  author = 	 {A.~Krauss},
+  title = 	 {{A}utomating {R}ecursive {D}efinitions and {T}ermination {P}roofs in 
+                  {H}igher-Order {L}ogic},
+  school = 	 {TU Munich},
+  year = 	 {2009}
+}
+
 @InProceedings{WeirichYorgeySheard11,
   author = 	 {S.~Weirich and B.~Yorgey and T.~Sheard},
   title = 	 {{B}inders {U}nbound},