A Strong Completeness Theorem for the Gentzen systems associated with finite algebras | Publicación