On equational completeness theorems | Publicación