TY - RPRT TI - Infinite irredundant equational axiomatisability for a finite monoid AU - Marcel Jackson PY - 2015 UR - https://arxiv.org/abs/1511.05979 ID - 1511.05979 ER -