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, doi: 10.18778/0138-0680.48.1.01.