@article{Glaister_1996,
    doi = {10.1016/0020-0190(96)00095-6},
    url = {https://doi.org/10.1016%2F0020-0190%2896%2900095-6},
    year = {1996},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {59},
    number = {2},
    pages = {75--77},
    author = {Ian Glaister and Jeffrey Shallit},
    title = {A lower bound technique for the size of nondeterministic finite automata},
    journal = {Information Processing Letters}
}

@article{Glaister_1996, doi = {10.1016/0020-0190(96)00095-6}, url = {https://doi.org/10.1016%2F0020-0190%2896%2900095-6}, year = {1996}, month = {jul}, publisher = {Elsevier {BV}}, volume = {59}, number = {2}, pages = {75--77}, author = {Ian Glaister and Jeffrey Shallit}, title = {A lower bound technique for the size of nondeterministic finite automata}, journal = {Information Processing Letters} }