Amir, O.; Shahar, Y.; Gal, Y.; Ilani, L. On the Verification Complexity of Group Decision-Making Tasks. HCOMP 2013, 1, 2-8.