BibTeX
@article{malque11,
keywords = {tt-in-mt},
pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/malque11.pdf},
arxiv = {http://arxiv.org/abs/1104.3007},
url = {https://dx.doi.org/10.1142/S0129054111009094},
author = {Andreas Maletti and Daniel Quernheim},
title = {Optimal Hyper-Minimization},
journal = {Int. J. Found. Comput. Sci.},
volume = 22,
number = 8,
pages = {1877-1891},
year = 2011
}