Boixel, A.; Endriss, U.; Haan, R. de. A Calculus for Computing Structured Justifications for Election Outcomes. AAAI 2022, 36, 4859-4866.