1.1 --- a/doc-src/isac/chuber/references.bib Thu Jul 21 16:47:34 2011 +0200
1.2 +++ b/doc-src/isac/chuber/references.bib Thu Jul 21 17:03:45 2011 +0200
1.3 @@ -1,3 +1,30 @@
1.4 +
1.5 +@InCollection{krauss:partial06,
1.6 + author = {Alexander Krauss},
1.7 + title = {Partial recursive functions in higher-order logic},
1.8 + booktitle = {Automated Reasoning (IJCAR 2006)},
1.9 + pages = {589-603},
1.10 + publisher = {Springer Verlag},
1.11 + year = {2006},
1.12 + editor = {Ulrich Furbach and Natarajan Shankar},
1.13 + volume = {4130},
1.14 + series = {Lecture Notes in Artificial Intelligence},
1.15 + doi = {http://dx.doi.org/10.1007/11814771_48}
1.16 +}
1.17 +
1.18 +@InCollection{krauss:termination07,
1.19 + author = {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow},
1.20 + title = {Finding lexicographic orders for termination proofs in Isabelle/HOL},
1.21 + booktitle = {Theorem Proving in Higher Order Logics (TPHOLs 2007)},
1.22 + pages = {38-53},
1.23 + publisher = {Springer Verlag},
1.24 + year = {2007},
1.25 + editor = {Schneider and J. Brandt},
1.26 + volume = {4732},
1.27 + series = {Lecture Notes in Computer Science},
1.28 + doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5}
1.29 +}
1.30 +
1.31 @Article{aichernig:ingenieur,
1.32 author = {Bernhard K. Aichernig and Peter Lucas},
1.33 title = {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},