@inproceedings{KR-2020-MTL,
  title = "DatalogMTL over Integer Timeline",
  author = "Przemyslaw Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev.",
  year = "2020",
  booktitle = "Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2020)",
}