Authors: Mehlhorn, K Naher, S Seel, M Seidel, R Schilz, T Schirra, S Uhrig, C

Citation: K. Mehlhorn et al., Checking geometric programs or verification of geometric structures, COMP GEOM, 12(1-2), 1999, pp. 85-103