David Podgorelec Borut Zalik Vid Domiter Dealing with redundancy and inconsistency in constructive geometric constraint solving. 770-786 2008 39 Advances in Engineering Software 9 http://dx.doi.org/10.1016/j.advengsoft.2007.10.003 db/journals/aes/aes39.html#PodgorelecZD08