@misc{indiciaeccbd7e75bfb7,
  title = {From propositional to first-order monitoring},
  author = {Andreas Bauer and Jan-Christoph Küster and Gil Vegliach},
  year = {2013},
  url = {https://arxiv.org/abs/1303.3645},
  note = {Source identifier: 1303.3645}
}