On Protocols for the Automated Discovery of Theorems in Elementary Geometry | Publicación