Karia, N.; Lang, J. Compilation Complexity of Multi-Winner Voting Rules (Student Abstract). AAAI 2021, 35, 15809-15810.