APA (7th ed.) Citation

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 Style (17th ed.) Citation

Wang, D., P. Hu, P. Walega, and B. Cuenca Grau. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.

MLA (9th ed.) Citation

Wang, D., et al. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.