Solving QMLTP Problems by Translation to Higher-order Logic

Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffeGleißner, TobiasTobiasGleißnerBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-12-232022-12-232022https://fis.uni-bamberg.de/handle/uniba/57440engSolving QMLTP Problems by Translation to Higher-order Logicpreprint10.48550/ARXIV.2212.09570