Undecidability of the freedom problem for 3-manifold groups.
scientific article; zbMATH DE number 1794311