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