APA (7th ed.) Citation

Haase, C., Krishna, S. N., Madnani, K., Mishra, O. S., & Zetzsche, G. (2024). An efficient quantifier elimination procedure for Presburger arithmetic.

Chicago Style (17th ed.) Citation

Haase, Christoph, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, and Georg Zetzsche. An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. 2024.

MLA (9th ed.) Citation

Haase, Christoph, et al. An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. 2024.