APA (7th ed.) Citation

Sun, Y., Ji, R., Fang, J., Jiang, X., Chen, M., & Xiong, Y. (2024). Proving Functional Program Equivalence via Directed Lemma Synthesis.

Chicago Style (17th ed.) Citation

Sun, Yican, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, and Yingfei Xiong. Proving Functional Program Equivalence via Directed Lemma Synthesis. 2024.

MLA (9th ed.) Citation

Sun, Yican, et al. Proving Functional Program Equivalence via Directed Lemma Synthesis. 2024.