E. Elkind, S. Obraztsova, J. Peters, and N. Teh, “Verifying Proportionality in Temporal Voting”, AAAI, vol. 39, no. 13, pp. 13805-13813, Apr. 2025.