Blom, M., A. Conway, P. J. Stuckey, and V. J. Teague. “Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 08, Apr. 2020, pp. 13235-40, doi:10.1609/aaai.v34i08.7029.