@article {962676,
	title = {Computer-Aided Verification in Mechanism Design},
	journal = {Conference on Internet and Economics, WINE },
	year = {2016},
	month = {Dec 2016},
	author = {G. Barthe and M. Gaboardi and E. J. Gallego Arias and J. Hsu and A. Roth and P.-Y. Strub}
}
