2 @InCollection{krauss:partial06,
3 author = {Alexander Krauss},
4 title = {Partial recursive functions in higher-order logic},
5 booktitle = {Automated Reasoning (IJCAR 2006)},
7 publisher = {Springer Verlag},
9 editor = {Ulrich Furbach and Natarajan Shankar},
11 series = {Lecture Notes in Artificial Intelligence},
12 doi = {http://dx.doi.org/10.1007/11814771_48}
15 @InCollection{krauss:termination07,
16 author = {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow},
17 title = {Finding lexicographic orders for termination proofs in Isabelle/HOL},
18 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs 2007)},
20 publisher = {Springer Verlag},
22 editor = {Schneider and J. Brandt},
24 series = {Lecture Notes in Computer Science},
25 doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5}
28 @Article{aichernig:ingenieur,
29 author = {Bernhard K. Aichernig and Peter Lucas},
30 title = {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},
31 journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
36 note = {http://www.ist.tu-graz.ac.at/publications},
40 @Book{Nipkow-Paulson-Wenzel:2002,
41 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
42 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
43 publisher = {Springer},
48 @PhdThesis{krauss:funs,
49 author = {Alexander Krauss},
50 title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
51 school = {Technische Universit\"at M\"unchen},
53 OPTnote = {http://www4.in.tum.de/~krauss/diss/}