Cita APA (7a ed.)

Zhang, C., Fu, Q., Ji, H., Del Valle, I. S., Silva, A., & Gaboardi, M. (2026). Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.

Cita Chicago Style (17a ed.)

Zhang, Cheng, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, y Marco Gaboardi. Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. 2026.

Cita MLA (9a ed.)

Zhang, Cheng, et al. Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. 2026.