Zetzsche, Georg Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;
Haase, C., & Zetzsche, G. (2019). Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1-14). Piscataway, NJ: IEEE. doi:10.1109/LICS.2019.8785850.