TY  - RPRT
TI  - Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
AU  - Christoph Benzmüller
AU  - David Fuenmayor
AU  - Alexander Steen
AU  - Geoff Sutcliffe
PY  - 2022
DO  - 10.1093/jigpal/jzac082
UR  - https://arxiv.org/abs/2208.06879
ID  - 2208.06879
ER  -