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