D. Zelent, “On Traczyk’s BCK-sequences”, Ann. Univ. Paedagog. Crac. Stud. Math., vol. 21, pp. 43–49, Sep. 2022.