@techreport{freek2004d,
	Author = {L. Cruz-Filipe and Freek Wiedijk},
	Date-Added = {2014-11-15 23:26:42 +0000},
	Date-Modified = {2014-11-15 23:28:26 +0000},
	Institution = {University of Nijmegen},
	Number = {NIII-R0431},
	Title = {Equational Reasoning in Algebraic Structures: a Complete Tactic},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/hrefl-ii.pdf},
	Year = {2004}}

{"_id":"yff8tzEyBQsTg5vcX","bibbaseid":"cruzfilipe-wiedijk-equationalreasoninginalgebraicstructuresacompletetactic-2004","author_short":["Cruz-Filipe, L.","Wiedijk, F."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Cruz-Filipe"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-15 23:26:42 +0000","date-modified":"2014-11-15 23:28:26 +0000","institution":"University of Nijmegen","number":"NIII-R0431","title":"Equational Reasoning in Algebraic Structures: a Complete Tactic","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/hrefl-ii.pdf","year":"2004","bibtex":"@techreport{freek2004d,\n\tAuthor = {L. Cruz-Filipe and Freek Wiedijk},\n\tDate-Added = {2014-11-15 23:26:42 +0000},\n\tDate-Modified = {2014-11-15 23:28:26 +0000},\n\tInstitution = {University of Nijmegen},\n\tNumber = {NIII-R0431},\n\tTitle = {Equational Reasoning in Algebraic Structures: a Complete Tactic},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/hrefl-ii.pdf},\n\tYear = {2004}}\n\n","author_short":["Cruz-Filipe, L.","Wiedijk, F."],"key":"freek2004d","id":"freek2004d","bibbaseid":"cruzfilipe-wiedijk-equationalreasoninginalgebraicstructuresacompletetactic-2004","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/hrefl-ii.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["equational","reasoning","algebraic","structures","complete","tactic","cruz-filipe","wiedijk"],"title":"Equational Reasoning in Algebraic Structures: a Complete Tactic","year":2004}