@inproceedings{AAAI-2021-stratified,
  title = "Stratified Negation in Datalog With Metric Temporal Operators",
  author = "David Tena Cucala and Przemyslaw Walega and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2021",
  booktitle = "Proceedings of AAAI-2021",
}