@article{Barrett_2000,
    doi = {10.1137/s0097539798337716},
    url = {https://doi.org/10.1137%2Fs0097539798337716},
    year = {2000},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {30},
    number = {3},
    pages = {809--837},
    author = {Chris Barrett and Riko Jacob and Madhav Marathe},
    title = {Formal-Language-Constrained Path Problems},
    journal = {{SIAM} Journal on Computing}
}

@article{Barrett_2000, doi = {10.1137/s0097539798337716}, url = {https://doi.org/10.1137%2Fs0097539798337716}, year = {2000}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {30}, number = {3}, pages = {809--837}, author = {Chris Barrett and Riko Jacob and Madhav Marathe}, title = {Formal-Language-Constrained Path Problems}, journal = {{SIAM} Journal on Computing} }