On the algorithmic decidability of the square-free word problem relative to a system of two defining relations

From MaRDI portal
Publication:893718