Xin, X. L.; Borzooei, R. A.; Jun, Y. B. Positive Implicative Soju Ideals in BCK-Algebras. B Sect Log 2019, 48 (1), 1–18. https://doi.org/10.18778/0138-0680.48.1.01.