\input zb-basic
\input zb-ioport
\iteman{io-port 05748948}
\itemau{Gasc\'on, Adria; Godoy, Guillem; Jacquemard, Florent}
\itemti{Closure of tree automata languages under innermost rewriting.}
\itemso{Electron. Notes Theor. Comput. Sci. 237, 23-38 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1016/j.entcs.2009.03.033}
\end