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