On some decision problems for trace codings
scientific article; zbMATH DE number 984927
scientific article