Publication [GanDXZKC16] Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF Gan, T.; Dai, L.; Xia, B.; Zhan, N.; Kapur, D. and Chen, M. In IJCAR, pages 195-212, 2016.Downloads: bib
