APA (7th ed.) Citation

Hieronymi, P., Nguyen, D., & Pak, I. (2021, July). Presburger Arithmetic with algebraic scalar multiplications. Logical Methods in Computer Science.

Chicago Style (17th ed.) Citation

Hieronymi, Philipp, Danny Nguyen, and Igor Pak. "Presburger Arithmetic with Algebraic Scalar Multiplications." Logical Methods in Computer Science Jul. 2021.

MLA (9th ed.) Citation

Hieronymi, Philipp, et al. "Presburger Arithmetic with Algebraic Scalar Multiplications." Logical Methods in Computer Science, Jul. 2021.