@preamble("
  \newcommand{\doi}[1]{%\newline
    \href{http://dx.doi.org/#1}{doi:\nolinkurl{#1}}}")

@string{ws:par = "Proc.\ of the International Workshop on Partiality and Recursion in Interactive Theorem Proving"}

@inproceedings{partial_function,
  author    = {A. Krauss},
  title     = {Recursive Definitions of Monadic Functions},
  pages     = {1-13},
  booktitle = ws:par,
  series    = "EPTCS",
  year      = 2010,
  volume    = {43},
  note      = {\doi{10.4204/EPTCS.43.1}},
}
