The BKR Decision Procedure for Univariate Real Arithmeticby Katherine Cordwell, Yong Kiam Tan and André Platzer24 Apr