Finitely Materialisable Datalog Programs with Metric Temporal Operators
Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau
Book Title
Proceedings of KR 2021
Year
2021
Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau