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
}