Decidability of operation problems for T0L languages and subclasses
scientific article; zbMATH DE number 5932318