@article{freek2006a,
	Author = {Henk Barendregt and Freek Wiedijk},
	Date-Added = {2014-11-16 22:00:34 +0000},
	Date-Modified = {2014-11-16 22:02:07 +0000},
	Journal = {Euclides},
	Title = {Bewijzen: romantisch of cool},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/euclides.pdf},
	Year = {2006}}

{"_id":"kKwCRYnxsAPsmWkJv","bibbaseid":"barendregt-wiedijk-bewijzenromantischofcool-2006","author_short":["Barendregt, H.","Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Henk"],"propositions":[],"lastnames":["Barendregt"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:00:34 +0000","date-modified":"2014-11-16 22:02:07 +0000","journal":"Euclides","title":"Bewijzen: romantisch of cool","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/euclides.pdf","year":"2006","bibtex":"@article{freek2006a,\n\tAuthor = {Henk Barendregt and Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:00:34 +0000},\n\tDate-Modified = {2014-11-16 22:02:07 +0000},\n\tJournal = {Euclides},\n\tTitle = {Bewijzen: romantisch of cool},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/euclides.pdf},\n\tYear = {2006}}\n\n","author_short":["Barendregt, H.","Wiedijk, F."],"key":"freek2006a","id":"freek2006a","bibbaseid":"barendregt-wiedijk-bewijzenromantischofcool-2006","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/euclides.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["bewijzen","romantisch","cool","barendregt","wiedijk"],"title":"Bewijzen: romantisch of cool","year":2006}