Wang, J.; Sikdar, S.; Shepherd, T.; Zhao, Z.; Jiang, C.; Xia, L. Practical Algorithms for Multi-Stage Voting Rules With Parallel Universes Tiebreaking. AAAI 2019, 33, 2189-2196.