Seif and Csaba, 2006, Computational complexity of checking identities in O-simple semigroups and matrix semigroups over finite fields
Reference
Seif, S. and
Csaba, S.
Computational complexity of checking identities in O-simple semigroups and matrix semigroups over finite fields. Semigroup Forum 72(2): 207-222. (2006).

