C. Bright, Cheung, K. K. H. , Stevens, B. , Kotsireas, I. S. , and Ganesh, V. , “Nonexistence Certificates for Ovals in a Projective Plane of Order Ten”, in Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings, 2020, vol. 12126, pp. 97–111.