BibTeX

@article{mal15,
  keywords = {tt-in-mt},
  pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/mal15.pdf},
  author = {Andreas Maletti},
  title = {Hyper-optimization for deterministic tree automata},
  journal = {Theor. Comput. Sci.},
  volume = 578,
  pages = {72-87},
  year = 2015
}