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