TY - RPRT TI - Finitely Generated Varieties of Commutative BCK-algebras: Covers AU - Václav Cenker PY - 2026 UR - https://arxiv.org/abs/2501.12017 ID - 2501.12017 ER -