@misc{indiciae5401eafe42d4,
  title = {A Prolog assisted search for new simple Lie algebras},
  author = {David Cushing and George W. Stagg and David I. Stewart},
  year = {2023},
  url = {https://arxiv.org/abs/2207.01094},
  note = {Source identifier: 2207.01094}
}