Y. Yang and X. Xin, “ON CHARACTERIZATIONS OF BL-ALGEBRAS VIA IMPLICATIVE IDEALS”, IJPAM, vol. 37, pp. 493–506, Jan. 2017.