@inproceedings{blanco15wof,
  author = {Roberto Blanco and Dale Miller},
  title = {Proof Outlines as Proof Certificates: a system
                 description},
  year = {2015},
  url = {http://www.eprover.org/EVENTS/IWIL-2015.html},
  month = nov,
  editor = {Iliano Cervesato and Carsten Sch{\"u}rmann},
  booktitle = {Proceedings First International Workshop on Focusing},
  series = {Electronic Proceedings in Theoretical Computer
                 Science},
  volume = {197},
  publisher = {Open Publishing Association},
  pages = {7--14},
  doi = {10.4204/EPTCS.197.2}
}

{"_id":"92nzAKr7QnBKx8oCF","bibbaseid":"blanco-miller-proofoutlinesasproofcertificatesasystemdescription-2015","author_short":["Blanco, R.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roberto"],"propositions":[],"lastnames":["Blanco"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Proof Outlines as Proof Certificates: a system description","year":"2015","url":"http://www.eprover.org/EVENTS/IWIL-2015.html","month":"November","editor":[{"firstnames":["Iliano"],"propositions":[],"lastnames":["Cervesato"],"suffixes":[]},{"firstnames":["Carsten"],"propositions":[],"lastnames":["Schürmann"],"suffixes":[]}],"booktitle":"Proceedings First International Workshop on Focusing","series":"Electronic Proceedings in Theoretical Computer Science","volume":"197","publisher":"Open Publishing Association","pages":"7–14","doi":"10.4204/EPTCS.197.2","bibtex":"@inproceedings{blanco15wof,\n author = {Roberto Blanco and Dale Miller},\n title = {Proof Outlines as Proof Certificates: a system\n description},\n year = {2015},\n url = {http://www.eprover.org/EVENTS/IWIL-2015.html},\n month = nov,\n editor = {Iliano Cervesato and Carsten Sch{\\\"u}rmann},\n booktitle = {Proceedings First International Workshop on Focusing},\n series = {Electronic Proceedings in Theoretical Computer\n Science},\n volume = {197},\n publisher = {Open Publishing Association},\n pages = {7--14},\n doi = {10.4204/EPTCS.197.2}\n}\n\n","author_short":["Blanco, R.","Miller, D."],"editor_short":["Cervesato, I.","Schürmann, C."],"key":"blanco15wof","id":"blanco15wof","bibbaseid":"blanco-miller-proofoutlinesasproofcertificatesasystemdescription-2015","role":"author","urls":{"Paper":"http://www.eprover.org/EVENTS/IWIL-2015.html"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["proof","outlines","proof","certificates","system","description","blanco","miller"],"title":"Proof Outlines as Proof Certificates: a system description","year":2015}