On the containment and equivalence problems for two-way transducers
scientific article; zbMATH DE number 6039171
scientific article