TY - RPRT TI - Finite basis problem for involution semigroups of order four AU - Meng Gao AU - Wen Ting Zhang AU - Yan Feng Luo PY - 2026 UR - https://arxiv.org/abs/2305.19494 ID - 2305.19494 ER -