Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections
Michelle Blom, Jurlind Budurushi, Ronald Rivest, Philip Stark, Peter Stuckey, Vanessa Teague, Damjan Vukcevic Electronic Voting - 6th International Joint Conference on Electronic Voting (E-Vote-ID 2021), 47-62, Springer, 2021. https://doi.org/10.1007/978-3-030-86942-7_4