@misc{indiciaea56594907d16,
  title = {The distributed complexity of locally checkable problems on paths is decidable},
  author = {Alkida Balliu and Sebastian Brandt and Yi-Jun Chang and Dennis Olivetti and Mikaël Rabie and Jukka Suomela},
  year = {2019},
  url = {https://arxiv.org/abs/1811.01672},
  note = {Source identifier: 1811.01672}
}