@article{BJORKLUND2012198,
    Author = {Bj{\"o}rklund, Henrik and Martens, Wim},
    File = {1-s2.0-S0022000011000456-main (0) - a - a - b.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {Finite automata, Optimization, State minimization, Complexity},
    Note = {JCSS Knowledge Representation and Reasoning},
    Number = {1},
    Pages = {198 - 210},
    Title = {The tractability frontier for NFA minimization},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000456},
    Volume = {78},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000011000456},
    bdsk-url-2 = {https://doi.org/10.1016/j.jcss.2011.03.001},
    date-added = {2018-06-22 09:07:29 +0000},
    date-modified = {2018-06-22 09:07:29 +0000},
    file-2 = {The\_Tractability\_Frontier\_for\_NFA\_Minimization\_preprint (0) - a - a - b.pdf},
    doi = {10.1016/j.jcss.2011.03.001}
}

@article{BJORKLUND2012198, Author = {Bj{\"o}rklund, Henrik and Martens, Wim}, File = {1-s2.0-S0022000011000456-main (0) - a - a - b.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {Finite automata, Optimization, State minimization, Complexity}, Note = {JCSS Knowledge Representation and Reasoning}, Number = {1}, Pages = {198 - 210}, Title = {The tractability frontier for NFA minimization}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000456}, Volume = {78}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000011000456}, bdsk-url-2 = {https://doi.org/10.1016/j.jcss.2011.03.001}, date-added = {2018-06-22 09:07:29 +0000}, date-modified = {2018-06-22 09:07:29 +0000}, file-2 = {The_Tractability_Frontier_for_NFA_Minimization_preprint (0) - a - a - b.pdf}, doi = {10.1016/j.jcss.2011.03.001} }