Cerone, A.2022-03-022022-03-022021978-3-030-85314-3978-3-030-85315-0978-3-030-85316-7https://publica.fraunhofer.de/handle/publica/167384Theoretical Aspects of Computing - ICTAC 2021. 18th International Colloquium. Proceedings