Finitely based, finite sets of words (2000)

by M Jackson, O Sapir
Venue:Internat. J. Algebra Comput