Dominique Michelucci, Sebti Foufou. Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 98-112, Springer, 2006. [doi]
Abstract is missing.