@conference {DBLP:conf/scsquare/DallaireB22,
	title = {Enumerating Projective Planes of Order Nine with Proof Verification},
	booktitle = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022},
	series = {CEUR Workshop Proceedings},
	volume = {3458},
	year = {2022},
	pages = {45{\textendash}54},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3458/paper5.pdf},
	author = {Daniel Dallaire and Curtis Bright},
	editor = {Ali Kemal Uncu and Haniel Barbosa}
}
