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