On using bi-equational constraints in CAD construction.

Christopher W. Brown, Scott McCallum

Browse the full ISSAC paper archive.