@inproceedings{10.24963/kr.2021/59,
  title = "Finitely Materialisable Datalog Programs with Metric Temporal Operators",
  author = "Przemysław A. Wałęga, Michał Zawidzki, Bernardo Cuenca Grau",
  year = "2021",
  booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning — Full Papers — Main Track",
  editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem",
  pages = "619–628",
  publisher = "IJCAI Organization",
  doi = "10.24963/kr.2021/59",
}