Berhanu Assaye Alaba and Derebew Nigussie Derso, “Quotient Heyting Algebras Via Fuzzy Congruence Relations”, Int. J. Math. And Appl., vol. 5, no. 2 - C, pp. 371–378, Jun. 2017.