arXiv 2001-06-21 EN Expressing the cone radius in the relational calculus with real polynomial constraints Geerts, Floris
