APA (7th ed.) Citation

Su, Y., Yang, Q., & Ci, Y. (2024). Predicting Lemmas in Generalization of IC3.

Chicago Style (17th ed.) Citation

Su, Yuheng, Qiusong Yang, and Yiwei Ci. Predicting Lemmas in Generalization of IC3. 2024.

MLA (9th ed.) Citation

Su, Yuheng, et al. Predicting Lemmas in Generalization of IC3. 2024.