@ARTICLE{2024arXiv240700625W,
    author = {{Wu}, Hao and {Wang}, Jie and {Xia}, Bican and {Li}, Xiakun and {Zhan}, Naijun and {Gan}, Ting},
    title = {{Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Logic in Computer Science},
    year = {2024},
    month = {jun},
    eid = {arXiv:2407.00625},
    pages = {arXiv:2407.00625},
    doi = {10.48550/arXiv.2407.00625},
    archiveprefix = {arXiv},
    eprint = {2407.00625},
    primaryclass = {cs.LO},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv240700625W},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2024-7-4 7:30:29 +0100}
}

@ARTICLE{2024arXiv240700625W, author = {{Wu}, Hao and {Wang}, Jie and {Xia}, Bican and {Li}, Xiakun and {Zhan}, Naijun and {Gan}, Ting}, title = {{Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets}}, journal = {arXiv e-prints}, keywords = {Computer Science - Logic in Computer Science}, year = {2024}, month = {jun}, eid = {arXiv:2407.00625}, pages = {arXiv:2407.00625}, doi = {10.48550/arXiv.2407.00625}, archiveprefix = {arXiv}, eprint = {2407.00625}, primaryclass = {cs.LO}, adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv240700625W}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2024-7-4 7:30:29 +0100} }