@inproceedings{TPHOLSB05,
  author = {Mike Gordon and Juliano Iyoda and Scott Owens and Konrad Slind},
  title = {A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic},
  month = jul,
  year = 2005,
  booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
  editor = {Joe Hurd and Edward Smith and Ashish Darbari},
  publisher = {Oxford University Computing Laboratory},
  note = {Research report PRG-RR-05-02},
  pages = {59--75}}