@inproceedings{ESOP07,
  author = {Guodong Li and Scott Owens and Konrad Slind},
  title = {Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic},
  booktitle = {Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007},
  editor = {Rocco De Nicola},
  month = mar,
  year = 2007,
  series = {Lecture Notes in Computer Science},
  volume = 4421,
  publisher = {Springer},
  pages = {205--219},
  doi = {10.1007/978-3-540-71316-6_15}}