A discriminator variety of Heyting algebras with involution
variety of Heyting algebras with regular involution
scientific article; zbMATH DE number 3823872