@InProceedings{BeckertGoreSchuermann2013,
author = {Bernhard Beckert and Rajeev Gor\'e and
Carsten Sch\"urmann},
title = {Analysing Vote Counting Algorithms Via Logic.
And its Application to the CADE Election System},
booktitle = {24th International Conference on Automated
Deduction ({CADE-24})},
venue = {Lake Placid, NY, USA},
series = {LNCS},
volume = {7898},
editor = {Maria Paola Bonacina},
publisher = {Springer},
pages = {135--144},
ee = {http://dx.doi.org/10.1007/978-3-642-38574-2_9},
year = {2013}