@article{freek2002a,
	Author = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},
	Date-Added = {2014-11-15 22:31:13 +0000},
	Date-Modified = {2014-11-15 22:41:11 +0000},
	Journal = {Journal of Symbolic Computation},
	Pages = {271--286},
	Title = {A Constructive Algebraic Hierarchy in Coq},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/alghier1.pdf},
	Year = {2002}}

{"_id":"Z9Tx4YYyFsk5W4Trv","bibbaseid":"geuvers-wiedijk-zwanenburg-aconstructivealgebraichierarchyincoq-2002","author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Zwanenburg"],"suffixes":[]}],"date-added":"2014-11-15 22:31:13 +0000","date-modified":"2014-11-15 22:41:11 +0000","journal":"Journal of Symbolic Computation","pages":"271–286","title":"A Constructive Algebraic Hierarchy in Coq","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/alghier1.pdf","year":"2002","bibtex":"@article{freek2002a,\n\tAuthor = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},\n\tDate-Added = {2014-11-15 22:31:13 +0000},\n\tDate-Modified = {2014-11-15 22:41:11 +0000},\n\tJournal = {Journal of Symbolic Computation},\n\tPages = {271--286},\n\tTitle = {A Constructive Algebraic Hierarchy in Coq},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/alghier1.pdf},\n\tYear = {2002}}\n\n","author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"key":"freek2002a","id":"freek2002a","bibbaseid":"geuvers-wiedijk-zwanenburg-aconstructivealgebraichierarchyincoq-2002","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/alghier1.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["constructive","algebraic","hierarchy","coq","geuvers","wiedijk","zwanenburg"],"title":"A Constructive Algebraic Hierarchy in Coq","year":2002}