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

@article{Raoult1988,
  author={Jean-Claude Raoult},
  title={Proving Open Properties by Induction},
  journal={Information Processing Letters},
  volume=29,
  number=1,
  year=1988,
  pages={19-23},
  note={\doi{10.1016/0020-0190(88)90126-3}},
}
