@misc{indiciaeb6807da28e94,
  title = {Querying Log Data with Metric Temporal Logic (Technical Report)},
  author = {Sebastian Brandt and Elem Güzel Kalaycı and Vladislav Ryzhikov and Guohui Xiao and Michael Zakharyaschev},
  year = {2018},
  url = {https://arxiv.org/abs/1703.08982},
  note = {Source identifier: 1703.08982}
}