Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. - Hao Wu 085; Jie Wang 037; Bican Xia; Xiakun Li; Naijun Zhan; Ting Gan (FM (1), 2024)