Dirk Pattinson, Carsten Schürmann. Vote Counting as Mathematical Proof. In Bernhard Pfahringer, Jochen Renz, editors, AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Volume 9457 of Lecture Notes in Computer Science, pages 464-475, Springer, 2015. [doi]
@inproceedings{PattinsonS15-0,
title = {Vote Counting as Mathematical Proof},
author = {Dirk Pattinson and Carsten Schürmann},
year = {2015},
doi = {10.1007/978-3-319-26350-2_41},
url = {http://dx.doi.org/10.1007/978-3-319-26350-2_41},
researchr = {https://researchr.org/publication/PattinsonS15-0},
cites = {0},
citedby = {0},
pages = {464-475},
booktitle = {AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings},
editor = {Bernhard Pfahringer and Jochen Renz},
volume = {9457},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-26349-6},
}