2022-03-022022-03-020252-9742https://publica.fraunhofer.de/handle/publica/113526Bulletin of the European Association for Theoretical Computer Science