Finitely Materialisable Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Browse the full KR paper archive.