diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/chuber/references.bib
--- a/src/Doc/isac/chuber/references.bib	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,55 +0,0 @@
-
-@InCollection{krauss:partial06,
-  author = 	 {Alexander Krauss},
-  title = 	 {Partial recursive functions in higher-order logic},
-  booktitle = 	 {Automated Reasoning (IJCAR 2006)},
-  pages = 	 {589-603},
-  publisher = {Springer Verlag},
-  year = 	 {2006},
-  editor = 	 {Ulrich Furbach and Natarajan Shankar},
-  volume = 	 {4130},
-  series = 	 {Lecture Notes in Artificial Intelligence},
-  doi = {http://dx.doi.org/10.1007/11814771_48}
-}
-
-@InCollection{krauss:termination07,
-  author = 	 {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow},
-  title = 	 {Finding lexicographic orders for termination proofs in Isabelle/HOL},
-  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs 2007)},
-  pages = 	 {38-53},
-  publisher = {Springer Verlag},
-  year = 	 {2007},
-  editor = 	 {Schneider and J. Brandt},
-  volume = 	 {4732},
-  series = 	 {Lecture Notes in Computer Science},
-  doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5}
-}
-
-@Article{aichernig:ingenieur,
-  author = 	 {Bernhard K. Aichernig and Peter Lucas},
-  title = 	 {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},
-  journal = 	 {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
-  year = 	 {1998},
-  volume = 	 {4},
-  number = 	 {2},
-  pages = 	 {2-8},
-  note = 	 {http://www.ist.tu-graz.ac.at/publications},
-  annote = 	 {}
-}
-
-@Book{Nipkow-Paulson-Wenzel:2002,
-  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
-  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
-  publisher	= {Springer},
-  series	= {LNCS},
-  volume	= 2283,
-  year		= 2002
-}
-@PhdThesis{krauss:funs,
-  author = 	 {Alexander Krauss},
-  title = 	 {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
-  school = 	 {Technische Universit\"at M\"unchen},
-  year = 	 {2009},
-  OPTnote = 	 {http://www4.in.tum.de/~krauss/diss/}
-}
-