APA (7th ed.) Citation

Hague, M., Hu, D., Jeż, A., Lin, A. W., Markgraf, O., Rümmer, P., & Wu, Z. (2025). OSTRICH2: Solver for Complex String Constraints.

Chicago Style (17th ed.) Citation

Hague, Matthew, Denghang Hu, Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, and Zhilin Wu. OSTRICH2: Solver for Complex String Constraints. 2025.

MLA (9th ed.) Citation

Hague, Matthew, et al. OSTRICH2: Solver for Complex String Constraints. 2025.