Zelent D. On Traczyk’s BCK-sequences. Ann. Univ. Paedagog. Crac. Stud. Math. [Internet]. 2022 Sep. 5 [cited 2023 Nov. 29];21:43-9. Available from: https://studmath.up.krakow.pl/article/view/9499