The Inclusion Problem for Forest Languages under Substitutions. - Marcial Gaißert; Manfred Kufleitner (CoRR, 2021)