ROBU, J. AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM; Presa Universitară Clujeană, 2007.