X. L. Xin, R. A. Borzooei, and Y. B. Jun, “Positive Implicative Soju Ideals in BCK-Algebras”, B Sect Log, vol. 48, no. 1, pp. 1–18, Mar. 2019.