Minimization of deterministic top-down tree automata

From MaRDI portal
Publication:5350163