Cita APA (7a ed.)

Wu, H., Wang, J., Xia, B., Li, X., Zhan, N., & Gan, T. (2024). Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets.

Cita Chicago Style (17a ed.)

Wu, Hao, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, y Ting Gan. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.

Cita MLA (9a ed.)

Wu, Hao, et al. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.