Theoretical Aspects of Computing ICTAC 2019 | Kaicus Deutschland