Zelent, Denis. “On Traczyk’s BCK-Sequences”. Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica 21 (September 5, 2022): 43–49. Accessed November 29, 2023. https://studmath.up.krakow.pl/article/view/9499.