ANGELTVEIT, V. R(3,10) <= 41. The Electronic Journal of Combinatorics, v. 32, n. 4, p. P4.30, 3 Nov. 2025.