Subdirectly irreducible double Heyting algebras
subdirectly irreducible Heyting algebras
subdirectly irreducible regular double p-algebras
scientific article; zbMATH DE number 3670502