Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar. Shortest paths in one-counter systems. Logical Methods in Computer Science, 15(1), 2019. [doi]
@article{ChistikovCHPW19,
title = {Shortest paths in one-counter systems},
author = {Dmitry Chistikov and Wojciech Czerwinski and Piotr Hofman and Michal Pilipczuk and Michael Wehar},
year = {2019},
url = {https://lmcs.episciences.org/5251},
researchr = {https://researchr.org/publication/ChistikovCHPW19},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {15},
number = {1},
}