1. M. Abadi. The power of temporal proofs. In Proceedings of the 2nd Annual IEEE Symposium on Logic in Computer Science (LICS'87) pages 176-186. IEEE Computer Society, 1987.
2. S. Abiteboul, L. Herr, and J. van den Bussche. Temporal versus first-order logic in query temporal databases. In ACM Symposium on Principles of Database Systems pages 49-57, Montreal, Canada, 1996.
3. Logical patterns in space;Aiello,2000
4. A spatial similarity measure based on games: theory and practice;Aiello;Logic Journal of the IGPL,2001
5. J. Allen and P. Hayes. A common sense theory of time. In Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAVSS) pages 528-531. Morgan Kaufmann, 1985.