@article{BBRSx21,
   Author = { Blom, Michelle and Budurushi, Jurlind and Rivest, Ronald L. and Stark, Philip B. and Stuckey, Peter J. and Teague, Vanessa and Vukcevic, Damjan },
   title = { Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections },
   ISSN = { 1611-3349 },
   url = { http://dx.doi.org/10.1007/978-3-030-86942-7_4 },
   DOI = { 10.1007/978-3-030-86942-7_4 },
   journal = { Lecture Notes in Computer Science },
   publisher ={ Springer International Publishing },
   year = { 2021 },
   date = { 2021-10-02 },                  
   urla = { <a href="https://arxiv.org/abs/2107.11903">arXiv</a> },
   pages={ 47-62 },
}