@proceedings{freek2004c,
	Date-Added = {2014-11-15 23:15:57 +0000},
	Date-Modified = {2014-11-15 23:18:38 +0000},
	Editor = {Freek Wiedijk},
	Keywords = {Edited},
	Number = {Report III-R0429},
	Publisher = {University of Nijmegen},
	Title = {Dutch Proof Tools Day 2004, Program + Proceedings},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/ptd2004.pdf},
	Year = {2004}}

{"_id":"qq79J3bDNceYcC6dT","bibbaseid":"wiedijk-dutchprooftoolsday2004programproceedings-2004","bibdata":{"bibtype":"proceedings","type":"proceedings","date-added":"2014-11-15 23:15:57 +0000","date-modified":"2014-11-15 23:18:38 +0000","editor":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"keywords":"Edited","number":"Report III-R0429","publisher":"University of Nijmegen","title":"Dutch Proof Tools Day 2004, Program + Proceedings","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/ptd2004.pdf","year":"2004","bibtex":"@proceedings{freek2004c,\n\tDate-Added = {2014-11-15 23:15:57 +0000},\n\tDate-Modified = {2014-11-15 23:18:38 +0000},\n\tEditor = {Freek Wiedijk},\n\tKeywords = {Edited},\n\tNumber = {Report III-R0429},\n\tPublisher = {University of Nijmegen},\n\tTitle = {Dutch Proof Tools Day 2004, Program + Proceedings},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/ptd2004.pdf},\n\tYear = {2004}}\n\n","editor_short":["Wiedijk, F."],"key":"freek2004c","id":"freek2004c","bibbaseid":"wiedijk-dutchprooftoolsday2004programproceedings-2004","role":"editor","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/ptd2004.pdf"},"keyword":["Edited"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"proceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["edited"],"search_terms":["dutch","proof","tools","day","2004","program","proceedings"],"title":"Dutch Proof Tools Day 2004, Program + Proceedings","year":2004}