@conference {DBLP:conf/iwoca/BrightCSKG20,
	title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
	booktitle = {Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {12126},
	year = {2020},
	pages = {97{\textendash}111},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-48966-3_8},
	url = {https://doi.org/10.1007/978-3-030-48966-3_8},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Leszek Gasieniec and Ralf Klasing and Tomasz Radzik}
}
