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