BibTeX
@InProceedings{malque14,
keywords = {tt-in-mt},
pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/malque14.pdf},
author = {Andreas Maletti and Daniel Quernheim},
title = {Hyper-minimization for deterministic weighted tree automata},
booktitle = {Proc. 14th Int. Conf. Automata and Formal Languages},
series = {EPTCS},
pages = {314-326},
volume = {151},
year = 2014
}