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.