Predrag Janicic, Pedro Quaresma. Automatic Verification of Regular Constructions in Dynamic Geometry Systems. 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 39-51, Springer, 2006. [doi]
Abstract is missing.