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 }