[1].  Interpolant synthesis for quadratic polynomial inequalities and combination with EUF.  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).  9706 (0302-9743).  2016.