TY - RPRT TI - Lee monoid $L_4^1$ is non-finitely based AU - Inna Mikhailova AU - Olga Sapir PY - 2018 UR - https://arxiv.org/abs/1710.00820 ID - 1710.00820 ER -