"Verified Construction of Fair Voting Rules."

Karsten Diekhoff, Michael Kirsten, Jonas Krämer (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics