Xin XL, Borzooei RA, Jun YB. Positive Implicative Soju Ideals in BCK-Algebras. B Sect Log. 2019;48(1):1–18. doi:10.18778/0138-0680.48.1.01