@inproceedings{blanco17cade,
  author = {Roberto Blanco and Zakaria Chihani and Dale Miller},
  title = {Translating Between Implicit and Explicit Versions of
                 Proof},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International
                 Conference on Automated Deduction, Gothenburg, Sweden,
                 August 6-11, 2017, Proceedings},
  pages = {255--273},
  year = {2017},
  doi = {10.1007/978-3-319-63046-5\_16},
  editor = {Leonardo de Moura},
  series = lncs,
  volume = {10395},
  publisher = {Springer}
}

{"_id":"oDaP6LAdgH4vG7y6r","bibbaseid":"blanco-chihani-miller-translatingbetweenimplicitandexplicitversionsofproof-2017","author_short":["Blanco, R.","Chihani, Z.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roberto"],"propositions":[],"lastnames":["Blanco"],"suffixes":[]},{"firstnames":["Zakaria"],"propositions":[],"lastnames":["Chihani"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Translating Between Implicit and Explicit Versions of Proof","booktitle":"Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings","pages":"255–273","year":"2017","doi":"10.1007/978-3-319-63046-5_16","editor":[{"firstnames":["Leonardo"],"propositions":["de"],"lastnames":["Moura"],"suffixes":[]}],"series":"LNCS","volume":"10395","publisher":"Springer","bibtex":"@inproceedings{blanco17cade,\n author = {Roberto Blanco and Zakaria Chihani and Dale Miller},\n title = {Translating Between Implicit and Explicit Versions of\n Proof},\n booktitle = {Automated Deduction - {CADE} 26 - 26th International\n Conference on Automated Deduction, Gothenburg, Sweden,\n August 6-11, 2017, Proceedings},\n pages = {255--273},\n year = {2017},\n doi = {10.1007/978-3-319-63046-5\\_16},\n editor = {Leonardo de Moura},\n series = lncs,\n volume = {10395},\n publisher = {Springer}\n}\n\n","author_short":["Blanco, R.","Chihani, Z.","Miller, D."],"editor_short":["de Moura, L."],"key":"blanco17cade","id":"blanco17cade","bibbaseid":"blanco-chihani-miller-translatingbetweenimplicitandexplicitversionsofproof-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["translating","between","implicit","explicit","versions","proof","blanco","chihani","miller"],"title":"Translating Between Implicit and Explicit Versions of Proof","year":2017}