@misc{indiciae4e32d2dc2ce0,
  title = {Monadic second order logic as the model companion of temporal logic},
  author = {Silvio Ghilardi and Samuel J. van Gool},
  year = {2016},
  url = {https://arxiv.org/abs/1605.01003},
  note = {Source identifier: 1605.01003}
}