The equivalence problem for deterministic two-way sequential transducers is decidable | IEEE Conference Publication | IEEE Xplore