@techreport{Kerber2014,
title = {A formal proof of Vickrey's theorem by blast, simp, and rule},
author = {Manfred Kerber and Christoph Lange and Colin Rowat},
url = {http://ssrn.com/abstract=2376205},
year  = {2014},
date = {2014-01-01},
number = {14-01},
institution = {University of Birmingham, Department of Economics},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}

{"_id":"G4TRnHLSYJmwpm36o","bibbaseid":"kerber-lange-rowat-aformalproofofvickreystheorembyblastsimpandrule-2014","downloads":0,"creationDate":"2018-09-18T09:42:34.475Z","title":"A formal proof of Vickrey's theorem by blast, simp, and rule","author_short":["Kerber, M.","Lange, C.","Rowat, C."],"year":2014,"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/SmartDataAnalytics/SDA-Publications/master/sda.bib","bibdata":{"bibtype":"techreport","type":"techreport","title":"A formal proof of Vickrey's theorem by blast, simp, and rule","author":[{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]},{"firstnames":["Colin"],"propositions":[],"lastnames":["Rowat"],"suffixes":[]}],"url":"http://ssrn.com/abstract=2376205","year":"2014","date":"2014-01-01","number":"14-01","institution":"University of Birmingham, Department of Economics","keywords":"","pubstate":"published","tppubtype":"techreport","bibtex":"@techreport{Kerber2014,\r\ntitle = {A formal proof of Vickrey's theorem by blast, simp, and rule},\r\nauthor = {Manfred Kerber and Christoph Lange and Colin Rowat},\r\nurl = {http://ssrn.com/abstract=2376205},\r\nyear = {2014},\r\ndate = {2014-01-01},\r\nnumber = {14-01},\r\ninstitution = {University of Birmingham, Department of Economics},\r\nkeywords = {},\r\npubstate = {published},\r\ntppubtype = {techreport}\r\n}\r\n","author_short":["Kerber, M.","Lange, C.","Rowat, C."],"key":"Kerber2014","id":"Kerber2014","bibbaseid":"kerber-lange-rowat-aformalproofofvickreystheorembyblastsimpandrule-2014","role":"author","urls":{"Paper":"http://ssrn.com/abstract=2376205"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","proof","vickrey","theorem","blast","simp","rule","kerber","lange","rowat"],"keywords":[],"authorIDs":[],"dataSources":["Smh7N7pGmghKvpo5R","utoK22vdACuMZhGfE"]}