Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffe2023-01-302023-01-3020231368-98941367-0751https://fis.uni-bamberg.de/handle/uniba/57954engWho Finds the Short Proof?article10.1093/jigpal/jzac082