TY  - RPRT
TI  - Optimal Hyper-Minimization
AU  - Andreas Maletti
AU  - Daniel Quernheim
PY  - 2011
DO  - 10.1007/978-3-642-18098-9_22
UR  - https://arxiv.org/abs/1104.3007
ID  - 1104.3007
ER  -