@misc{indiciae76760b17dfa9,
  title = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},
  author = {Raphaël Berthon and Emmanuel Filiot and Shibashis Guha and Bastien Maubert and Aniello Murano and Laureline Pinault and Jean-François Raskin and Sasha Rubin},
  year = {2019},
  url = {https://arxiv.org/abs/1901.04349},
  note = {Source identifier: 1901.04349}
}