Blom, M.; Conway, A.; Stuckey, P. J.; Teague, V. J. Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. AAAI 2020, 34, 13235-13240.