@article{lmcs:5251,
    Author = {Chistikov, Dmitry and Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Pilipczuk, Micha{\l} and Wehar, Michael},
    File = {1510.05460 (0) - a - a - w.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science},
    Month = {March},
    Title = {{Shortest paths in one-counter systems}},
    URL = {https://lmcs.episciences.org/5251},
    Volume = {{Volume 15, Issue 1}},
    Year = {2019},
    bdsk-url-1 = {https://lmcs.episciences.org/5251},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(1:19)2019},
    date-added = {2019-08-18 19:55:32 +0200},
    date-modified = {2019-08-18 19:55:32 +0200},
    doi = {10.23638/LMCS-15(1:19)2019}
}

@article{lmcs:5251, Author = {Chistikov, Dmitry and Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Pilipczuk, Micha{\l} and Wehar, Michael}, File = {1510.05460 (0) - a - a - w.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science}, Month = {March}, Title = {{Shortest paths in one-counter systems}}, URL = {https://lmcs.episciences.org/5251}, Volume = {{Volume 15, Issue 1}}, Year = {2019}, bdsk-url-1 = {https://lmcs.episciences.org/5251}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(1:19)2019}, date-added = {2019-08-18 19:55:32 +0200}, date-modified = {2019-08-18 19:55:32 +0200}, doi = {10.23638/LMCS-15(1:19)2019} }