@misc{indiciaee6774a08825d,
  title = {Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets},
  author = {Hao Wu and Jie Wang and Bican Xia and Xiakun Li and Naijun Zhan and Ting Gan},
  year = {2024},
  url = {https://arxiv.org/abs/2407.00625},
  note = {Source identifier: 2407.00625}
}