A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\)
scientific article; zbMATH DE number 2118404
scientific article