Checking geometric programs or verification of geometric structures (1996)

by K Mehlhorn, S Näher, M Seel, R Seidel, T Schilz, S Schirra, C Uhrig
Venue:Proc. SOCG