BibTeX
@article{jezmal12b,
keywords = {tt-in-mt},
pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/jezmal12b.pdf},
author = {Artur Jez and Andreas Maletti},
title = {Hyper-minimization for deterministic tree automata},
journal = {Int. J. Found. Comput. Sci.},
volume = 24,
number = 6,
pages = {815-830},
year = 2013
}