@inproceedings{freek2010a,
	Author = {C. Tankink and Herman Geuvers and  J. McKinna and Freek Wiedijk},
	Booktitle = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010},
	Date-Added = {2014-11-16 22:58:39 +0000},
	Date-Modified = {2014-11-16 23:01:21 +0000},
	Editor = {S. Autexier, J. Calmet and D. Delahaye and P.D.F. Ion and L. Rideau and  R. Rioboo and A.P. Sexton},
	Pages = {440--454},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Proviola: a Tool for Proof Re-animation},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/proviola.pdf},
	Volume = {6167},
	Year = {2010}}

{"_id":"3MnbuxkC7hJmQPiER","bibbaseid":"tankink-geuvers-mckinna-wiedijk-proviolaatoolforproofreanimation-2010","author_short":["Tankink, C.","Geuvers, H.","McKinna, J.","Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["C."],"propositions":[],"lastnames":["Tankink"],"suffixes":[]},{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["McKinna"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010","date-added":"2014-11-16 22:58:39 +0000","date-modified":"2014-11-16 23:01:21 +0000","editor":[{"propositions":[],"lastnames":["S.","Autexier"],"firstnames":["J.","Calmet"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Delahaye"],"suffixes":[]},{"firstnames":["P.D.F."],"propositions":[],"lastnames":["Ion"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Rideau"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Rioboo"],"suffixes":[]},{"firstnames":["A.P."],"propositions":[],"lastnames":["Sexton"],"suffixes":[]}],"pages":"440–454","publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","title":"Proviola: a Tool for Proof Re-animation","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/proviola.pdf","volume":"6167","year":"2010","bibtex":"@inproceedings{freek2010a,\n\tAuthor = {C. Tankink and Herman Geuvers and J. McKinna and Freek Wiedijk},\n\tBooktitle = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010},\n\tDate-Added = {2014-11-16 22:58:39 +0000},\n\tDate-Modified = {2014-11-16 23:01:21 +0000},\n\tEditor = {S. Autexier, J. Calmet and D. Delahaye and P.D.F. Ion and L. Rideau and R. Rioboo and A.P. Sexton},\n\tPages = {440--454},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Artificial Intelligence},\n\tTitle = {Proviola: a Tool for Proof Re-animation},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/proviola.pdf},\n\tVolume = {6167},\n\tYear = {2010}}\n\n","author_short":["Tankink, C.","Geuvers, H.","McKinna, J.","Wiedijk, F."],"editor_short":["S. Autexier, J. C.","Delahaye, D.","Ion, P.","Rideau, L.","Rioboo, R.","Sexton, A."],"key":"freek2010a","id":"freek2010a","bibbaseid":"tankink-geuvers-mckinna-wiedijk-proviolaatoolforproofreanimation-2010","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/proviola.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["proviola","tool","proof","animation","tankink","geuvers","mckinna","wiedijk"],"title":"Proviola: a Tool for Proof Re-animation","year":2010}