A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra | Publicación