Who Finds the Short Proof? An Exploration of variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (2022)