1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995). http://webdam.inria.fr/Alice/
2. Avron, A., Hirshfeld, Y.: On first order database query languages. In: LICS 1991, pp. 226–231. IEEE Computer Society (1991)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Basin,2020
4. Basin, D.A., Klaedtke, F., Müller, S., Zalinescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 15:1–15:45 (2015)
5. Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM TDS 20(2), 149–186 (1995)