Andreas Dolzmann Andreas Seidl Thomas Sturm Efficient projection orders for CAD. 111-118 2004 conf/issac/2004 ISSAC http://doi.acm.org/10.1145/1005285.1005303 db/conf/issac/issac2004.html#DolzmannSS04