@unpublished{felty87,
  author = {Amy Felty and Dale Miller},
  title = {Proof Explanation and Revision},
  year = {1987},
  note = {Draft}
}

{"_id":{"_str":"534282a80e946d920a001bd4"},"__v":24,"authorIDs":["5495d6fad2d96cd677001bf8"],"author_short":["Felty, A.","Miller, D."],"bibbaseid":"felty-miller-proofexplanationandrevision-1987","bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Amy"],"propositions":[],"lastnames":["Felty"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Proof Explanation and Revision","year":"1987","note":"Draft","bibtex":"@unpublished{felty87,\n author = {Amy Felty and Dale Miller},\n title = {Proof Explanation and Revision},\n year = {1987},\n note = {Draft}\n}\n\n","author_short":["Felty, A.","Miller, D."],"key":"felty87","id":"felty87","bibbaseid":"felty-miller-proofexplanationandrevision-1987","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"unpublished","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","downloads":0,"keywords":[],"search_terms":["proof","explanation","revision","felty","miller"],"title":"Proof Explanation and Revision","year":1987,"dataSources":["drTBSwRdnSo2Wujnd","7ofoNR5w3CNhd7cG5"]}