Kortenkamp, U., & Richter-Gebert J.  (2001).  Decision complexity in Dynamic Geometry.  (Wang, D., Ed.).Proceedings of ADG 2000.  167?172.