2022-03-022022-03-022631-98102631-9829https://publica.fraunhofer.de/handle/publica/122808Journal of Applied Logics