Kurt Mehlhorn Stefan Näher Michael Seel Raimund Seidel Thomas Schilz Stefan Schirra Christian Uhrig Checking geometric programs or verification of geometric structures. 85-103 1999 12 Comput. Geom. 1-2 db/journals/comgeo/comgeo12.html#MehlhornNSSSSU99