1. Abadi, M., Manna, Z.: Temporal logic programming. Proceedings of Symposium on Logic Programming. IEEE Computer Society Press (1987) 4–16
2. Alagić, S.: A statically typed, temporal object-oriented database technology. IEICE Transactions on Information and Systems 78 (1995) 1469–1476
3. Alagić, S., Sunderraman, R., Bagai, R.: Declarative object-oriented programming: inheritance, subtyping and prototyping. Proceedings of ECOOP '94. Lecture Notes in Computer Science 821 (1994) 236–259
4. Brodsky, A., Kornatzky, Y.: The Lyric language: querying constrained objects. Proceedings of the ACM SIGMOD Conference (1995) 35–46
5. Baudinet, M., Chomicki, J., Wolper, P.: Temporal deductive databases. In: Tansel, A. U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R.: Temporal Databases. Benjamin / Cummings (1993) 294–328.