Xin, X. L.; Borzooei, R. A.; Jun, Y. B. Positive Implicative Soju Ideals in BCK-Algebras. B Sect Log 2019, 48, 1–18.