@article{bright2019verifiable,
  title={A Verifiable Search for Projective Planes of Order Ten},
  author={Bright, Curtis and Cheung, Kevin and Stevens, Brett and Roy, Dominique and Kotsireas, Ilias and Ganesh, Vijay},
  year={2019}
}