The BKR Decision Procedure for Univariate Real Arithmetic by Katherine Kosaian, Yong Kiam Tan and André Platzer Apr 24