Xia, L.; Conitzer, V. Compilation Complexity of Common Voting Rules. AAAI 2010, 24, 915-920.