APA (7th ed.) Citation
(2021). Presburger Arithmetic with algebraic scalar multiplications. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Presburger Arithmetic with Algebraic Scalar Multiplications." Logical Methods in Computer Science 2021.
MLA (9th ed.) Citation
"Presburger Arithmetic with Algebraic Scalar Multiplications." Logical Methods in Computer Science, 2021.
Warning: These citations may not always be 100% accurate.