N. Akhlaghinia, M. Aaly Kologani, R. A. Borzooei, and X. L. Xin, “On the Category of EQ-algebras”, B Sect Log, vol. 50, no. 4, pp. 397–419, Jan. 2021.