Address Gottfried Wilhelm Leibniz Universität HannoverInstitut für Theoretische Informatik Appelstraße 9a 30167 Hannover
ORCID-ID 0000-0002-8061-5376