O. Amir, Y. Shahar, Y. Gal, and L. Ilani, “On the Verification Complexity of Group Decision-Making Tasks”, HCOMP, vol. 1, no. 1, pp. 2–8, Nov. 2013.