Haase, C., & Zetzsche, G. (2019). Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. IEEE.
Chicago Style (17th ed.) CitationHaase, C., and G. Zetzsche. Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. IEEE, 2019.
MLA (9th ed.) CitationHaase, C., and G. Zetzsche. Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. IEEE, 2019.
Warning: These citations may not always be 100% accurate.