Tao Jiang, Bala Ravikumar: Minimal NFA Problems Are Hard. ICALP 1991: 629-640