O. Parczyk, S. Pokutta, C. Spiegel, and T. Szabó, “Fully Computer-Assisted Proofs in Extremal Combinatorics”, AAAI, vol. 37, no. 10, pp. 12482-12490, Jun. 2023.