Cornejo, J. M.; Sankappanavar, H. P. Semi-Heyting Algebras and Identities of Associative Type. B Sect Log 2019, 48, 117–135.