J. M. Cornejo and H. P. Sankappanavar, “Semi-Heyting Algebras and Identities of Associative Type”, B Sect Log, vol. 48, no. 2, pp. 117–135, Jun. 2019, doi: 10.18778/0138-0680.48.2.03.