ROBU, J. (2007) AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM. Presa Universitară Clujeană. Available at: https://editura.ubbcluj.ro/index.php/puc/catalog/book/3730 (Accessed: 14 May 2026).