ROBU, Judit. AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM. [s.l.] : Presa Universitară Clujeană,2007. Disponível em: https://editura.ubbcluj.ro/index.php/puc/catalog/book/3730. Acesso em: 14 may. 2026.