A New Algebraic Tool for Automatic Theorem Provers | Publicación