@inproceedings{freek2000,
	Author = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},
	Booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon},
	Date-Added = {2014-11-15 22:18:43 +0000},
	Date-Modified = {2014-11-15 22:23:31 +0000},
	Editor = {John Harrison and Mark Aagaard},
	Pages = {162--178},
	Series = {Lecture Notes in Computer Science},
	Title = {Equational Reasoning via Partial Reflection},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/partrefl.pdf},
	Volume = {1869},
	Year = {2000}}

{"_id":"dmrJrAcG472Jr5r4K","authorIDs":[],"author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"bibbaseid":"geuvers-wiedijk-zwanenburg-equationalreasoningviapartialreflection-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Zwanenburg"],"suffixes":[]}],"booktitle":"Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon","date-added":"2014-11-15 22:18:43 +0000","date-modified":"2014-11-15 22:23:31 +0000","editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Aagaard"],"suffixes":[]}],"pages":"162–178","series":"Lecture Notes in Computer Science","title":"Equational Reasoning via Partial Reflection","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/partrefl.pdf","volume":"1869","year":"2000","bibtex":"@inproceedings{freek2000,\n\tAuthor = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},\n\tBooktitle = {Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon},\n\tDate-Added = {2014-11-15 22:18:43 +0000},\n\tDate-Modified = {2014-11-15 22:23:31 +0000},\n\tEditor = {John Harrison and Mark Aagaard},\n\tPages = {162--178},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Equational Reasoning via Partial Reflection},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/partrefl.pdf},\n\tVolume = {1869},\n\tYear = {2000}}\n\n","author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"editor_short":["Harrison, J.","Aagaard, M."],"key":"freek2000","id":"freek2000","bibbaseid":"geuvers-wiedijk-zwanenburg-equationalreasoningviapartialreflection-2000","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/partrefl.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","creationDate":"2014-11-16T23:25:53.977Z","downloads":0,"keywords":[],"search_terms":["equational","reasoning","via","partial","reflection","geuvers","wiedijk","zwanenburg"],"title":"Equational Reasoning via Partial Reflection","year":2000,"dataSources":["dCR2SmaT7gnYejraT"]}