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]
Abstract is missing.