Schulze Voting as Evidence Carrying Computation.

Dirk Pattinson, Mukesh Tiwari

Browse the full ITP paper archive.