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引文Haase, C., and G. Zetzsche. Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. IEEE, 2019.
警告:這些引文格式不一定是100%准確.