توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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