A. Boixel, U. Endriss, and R. de Haan, “A Calculus for Computing Structured Justifications for Election Outcomes”, AAAI, vol. 36, no. 5, pp. 4859–4866, Jun. 2022.