@inproceedings{DBLP:conf/aaai/CucalaWGK21,
  title = "Stratified Negation in Datalog with Metric Temporal Operators",
  author = "David J. Tena Cucala and Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2021",
  booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
  pages = "6488--6495",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/16804",
}