A property of left-linear rewrite systems preserving recognizability
scientific article; zbMATH DE number 1493369
scientific article