A case-study in algebraic manipulation using mechanized reasoning tools | Publicación