M. Blom, A. Conway, P. J. Stuckey, and V. J. Teague, “Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections”, AAAI, vol. 34, no. 08, pp. 13235-13240, Apr. 2020.