ROBU J. AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM [Internet]. Presa Universitară Clujeană; 2007 [cited 2026 May 14]. Available from: https://editura.ubbcluj.ro/index.php/puc/catalog/book/3730