Dubhashi, D. P. (1992). On decidable varieties of Heyting algebras. Journal of Symbolic Logic, 57(3), 988-991. doi:10.2307/2275444.