@misc{indiciaeac5e9412b2a4,
  title = {Algorithmic Search in Group Theory},
  author = {Robert H. Gilman},
  year = {2018},
  url = {https://arxiv.org/abs/1812.08116},
  note = {Source identifier: 1812.08116}
}