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