@inproceedings{UITP03,
  author = {Scott Owens and Konrad Slind},
  title = {Proving as Programming with {DrHOL}: A Preliminary Design},
  month = jul,
  year = 2003,
  booktitle = {User Interfaces for Theorem Provers: International Workshop UITP '03},
  editor = {David Aspinall and Cristoph L\"uth},
  publisher = {Institut f\"ur Informatik, Albert-Ludwigs-Universit\"at Freiburg},
  note = {Technical report 189},
  pages = {123--132}}