R. Galimullin, M. Mittelmann, and L. Perrussel, “Formal Verification of Diffusion Auctions”, AAAI, vol. 40, no. 23, pp. 19099–19107, Mar. 2026.