Koleza, E.; Kabani, E. The Use of Reasoning in the Resolution of Geometric Problems. NOMAD 2006, 11, 31–56.