Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffe2023-01-112023-01-1120222150-914xhttps://fis.uni-bamberg.de/handle/uniba/57579engAutomation of Boolos' Curious Inference in Isabelle/HOLarticlehttps://www.isa-afp.org/entries/Boolos_Curious_Inference_Automated.html