Flexible Automation of Quantified Multi-Modal Logics with Interactions. - Melanie Taprogge; Alexander Steen (KI, 2023)