A subdirectly irreducible double Heyting algebra which is not simple
scientific article; zbMATH DE number 3670503