@inproceedings{ICFP12,
  author = {Magnus O. Myreen and Scott Owens},
  title = {Proof-Producing Synthesis of {ML} from Higher-Order Logic},
  booktitle = {ICFP '12: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
  pages = {115--126},
  year = 2012,
  month = sep,
  publisher = {ACM Press},
  doi = {10.1145/2364527.2364545}}