Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffeBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-02-062025-02-0620251465-363X0955-792Xhttps://fis.uni-bamberg.de/handle/uniba/106288engSolving quantified modal logic problems by translation to classical logicsarticle10.1093/logcom/exaf006