@inproceedings{paulson2007source,
author = {Paulson, Lawrence C and Susanto, Kong Woei},
booktitle = {TPHOLs},
file = {:Users/jonaprieto/Mendeley/Paulson, Susanto - 2007 - Source-level Proof Reconstruction For Interactive Theorem Proving.pdf:pdf},
organization = {Springer},
pages = {232--245},
title = {{Source-level Proof Reconstruction For Interactive Theorem Proving}},
volume = {4732},
year = {2007}
}

{"_id":"Lqj2yA4SydCTZA3MN","bibbaseid":"paulson-susanto-sourcelevelproofreconstructionforinteractivetheoremproving-2007","downloads":0,"creationDate":"2017-09-01T03:35:40.564Z","title":"Source-level Proof Reconstruction For Interactive Theorem Proving","author_short":["Paulson, L. C","Susanto, K. W."],"year":2007,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Paulson"],"firstnames":["Lawrence","C"],"suffixes":[]},{"propositions":[],"lastnames":["Susanto"],"firstnames":["Kong","Woei"],"suffixes":[]}],"booktitle":"TPHOLs","file":":Users/jonaprieto/Mendeley/Paulson, Susanto - 2007 - Source-level Proof Reconstruction For Interactive Theorem Proving.pdf:pdf","organization":"Springer","pages":"232--245","title":"Source-level Proof Reconstruction For Interactive Theorem Proving","volume":"4732","year":"2007","bibtex":"@inproceedings{paulson2007source,\nauthor = {Paulson, Lawrence C and Susanto, Kong Woei},\nbooktitle = {TPHOLs},\nfile = {:Users/jonaprieto/Mendeley/Paulson, Susanto - 2007 - Source-level Proof Reconstruction For Interactive Theorem Proving.pdf:pdf},\norganization = {Springer},\npages = {232--245},\ntitle = {{Source-level Proof Reconstruction For Interactive Theorem Proving}},\nvolume = {4732},\nyear = {2007}\n}\n","author_short":["Paulson, L. C","Susanto, K. W."],"key":"paulson2007source","id":"paulson2007source","bibbaseid":"paulson-susanto-sourcelevelproofreconstructionforinteractivetheoremproving-2007","role":"author","urls":{},"downloads":0},"search_terms":["source","level","proof","reconstruction","interactive","theorem","proving","paulson","susanto"],"keywords":[],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}