@InProceedings{Krauss:IJCAR06-589,
  author =       "Alexander Krauss",
  title =        "Partial Recursive Functions in Higher-Order Logic",
  year =         "2006",
  pages =        "589--603",
  ee =           "http://dx.doi.org/10.1007/11814771_48",
  editor =       "Ulrich Furbach and Natarajan Shankar",
  booktitle =    "Automated Reasoning, Third International Joint
                 Conference, {IJCAR} 2006, Seattle, {WA}, {USA}, August
                 17--20, 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4130",
  ISBN =         "3-540-37187-7",
}