@article{HOSC08,
  author = {Scott Owens and Konrad Slind},
  title = {Adapting Functional Programs to Higher-Order Logic},
  journal = {Higher-Order and Symbolic Computation},
  volume = 21,
  number = {4},
  month = dec,
  year = 2008,
  pages = {377--409},
  doi = {10.1007/s10990-008-9038-0}}