Verified Construction of Fair Voting Rules.

Karsten Diekhoff, Michael Kirsten, Jonas Krmer

Browse the full LOPSTR paper archive.