2022-03-022022-03-020304-3975https://publica.fraunhofer.de/handle/publica/115884Theoretical computer science