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