@misc{indiciaed2d6c99ce1fb,
  title = {Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections},
  author = {Michelle Blom and Jurlind Budurushi and Ronald L. Rivest and Philip B. Stark and Peter J. Stuckey and Vanessa Teague and Damjan Vukcevic},
  year = {2021},
  doi = {10.1007/978-3-030-86942-7\_4},
  url = {https://arxiv.org/abs/2107.11903},
  note = {Source identifier: 2107.11903}
}