Zelent, D. “On Traczyk’s BCK-Sequences”. Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica, vol. 21, Sept. 2022, pp. 43-49, https://studmath.uken.krakow.pl/article/view/9499.