Inherently non-finitely based finite semigroups (1987)

by M Sapir
Venue:Mat. Sb