Xin, Xiao Long, et al. “Positive Implicative Soju Ideals in BCK-Algebras”. Bulletin of the Section of Logic, vol. 48, no. 1, Mar. 2019, pp. 1–18, doi:10.18778/0138-0680.48.1.01.