APA (7th ed.) Citation

Hu, D., Chen, T., Rümmer, P., Song, F., & Wu, Z. (2025). Decision Procedure for A Theory of String Sequences.

Chicago Style (17th ed.) Citation

Hu, Denghang, Taolue Chen, Philipp Rümmer, Fu Song, and Zhilin Wu. Decision Procedure for A Theory of String Sequences. 2025.

MLA (9th ed.) Citation

Hu, Denghang, et al. Decision Procedure for A Theory of String Sequences. 2025.