Constants and label-equivalence: a decision procedure for reflexive regular splicing languages
scientific article; zbMATH DE number 5673189
scientific article