Wang, D., Hu, P., Walega, P., & Cuenca Grau, B. (2022). MeTeoR: Practical reasoning in datalog with metric temporal operators. Association for the Advancement of Artificial Intelligence.
Chicago-viite (17. p.)Wang, D., P. Hu, P. Walega, ja B. Cuenca Grau. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.
MLA-viite (9. p.)Wang, D., et al. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.