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