Dealing with Degeneracies in Automated Theorem Proving in Geometry | Publicación