The evaluation of first-order substitution is monadic second-order compatible
scientific article; zbMATH DE number 1767892