Geometric Constraint Solving With Solution Selectors. - Bernhard Bettig; Vaibhav Kale (J. Comput. Inf. Sci. Eng., 2012)