Marc Giusti Éric Schost Solving Some Overdetermined Polynomial Systems. 1-8 1999 ISSAC http://doi.acm.org/10.1145/309831.309838 db/conf/issac/issac99.html#GiustiS99