"The Reachability Problem in Constructive Geometric Constraint Solving ..."

Marta R. Hidalgo, Robert Joan-Arinyo (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics