Top-down tree transducers with deterministic top-down look-ahead

From MaRDI portal
Publication:1825674