Cornejo, J. M.; Sankappanavar, H. P. Semi-Heyting Algebras and Identities of Associative Type. B Sect Log 2019, 48 (2), 117–135. https://doi.org/10.18778/0138-0680.48.2.03.