@misc{indiciae3728f5924347,
  title = {Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers},
  author = {Christoph Benzmüller and David Fuenmayor and Alexander Steen and Geoff Sutcliffe},
  year = {2022},
  doi = {10.1093/jigpal/jzac082},
  url = {https://arxiv.org/abs/2208.06879},
  note = {Source identifier: 2208.06879}
}