Epimorphism surjectivity in varieties of Heyting algebras | Publicación