2022-03-022022-03-021571-0661https://publica.fraunhofer.de/handle/publica/112968Electronic notes in theoretical computer science