@misc{indiciaedc44d9cb6726,
  title = {Marking Shortest Paths On Pushdown Graphs Does Not Preserve MSO Decidability},
  author = {Arnaud Carayol and Olivier Serre},
  year = {2016},
  doi = {10.1016/j.ipl.2016.04.015},
  url = {https://arxiv.org/abs/1510.04000},
  note = {Source identifier: 1510.04000}
}