L. Xia and V. Conitzer, “Compilation Complexity of Common Voting Rules”, AAAI, vol. 24, no. 1, pp. 915–920, Jul. 2010.