TAS-D++: Syntactic trees transformations for Automated Theorem Proving | Publicación