Stratified Negation in Datalog With Metric Temporal Operators

David Tena Cucala‚ Przemyslaw Walega‚ Bernardo Cuenca Grau and Egor V. Kostylev