A graph-constructive approach to solving systems of geometric constraints (1997)

by I Fudos, C Hoffmann
Venue:ACM Transactions on Graphics