@article{Badr_2007,
    doi = {10.1051/ita:2007061},
    url = {https://doi.org/10.1051%2Fita%3A2007061},
    year = {2007},
    month = {dec},
    publisher = {{EDP} Sciences},
    volume = {43},
    number = {1},
    pages = {69--94},
    author = {Andrew Badr and Viliam Geffert and Ian Shipman},
    title = {Hyper-minimizing minimized deterministic finite state automata},
    journal = {{RAIRO} - Theoretical Informatics and Applications}
}

@article{Badr_2007, doi = {10.1051/ita:2007061}, url = {https://doi.org/10.1051%2Fita%3A2007061}, year = {2007}, month = {dec}, publisher = {{EDP} Sciences}, volume = {43}, number = {1}, pages = {69--94}, author = {Andrew Badr and Viliam Geffert and Ian Shipman}, title = {Hyper-minimizing minimized deterministic finite state automata}, journal = {{RAIRO} - Theoretical Informatics and Applications} }