@misc{indiciaefdc3d35341e6,
  title = {Relation-algebraic and Tool-supported Control of Condorcet Voting},
  author = {Rudolf Berghammer and Henning Schnoor},
  year = {2013},
  url = {https://arxiv.org/abs/1304.7244},
  note = {Source identifier: 1304.7244}
}