APA citiranje

Haase, C., & Zetzsche, G. (2019). Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. IEEE.

Chicago Style (17th ed.) Citation

Haase, C., and G. Zetzsche. Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. IEEE, 2019.

MLA citiranje

Haase, C., and G. Zetzsche. Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. IEEE, 2019.