1. Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic logic programming. In: Sadri, F., Satoh, K. (eds.) Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2000), pp. 17–26 (2000)
2. Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Jaffar, J. (ed.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998), pp. 265–278. MIT Press, Cambridge (1998)
3. Frontiers in Artificial Intelligence and Applications;J.A. Leite,2003
4. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 98–109. Morgan Kaufmann, San Francisco (1998)
5. Eiter, T., Sabbatini, G., Fink, M., Tompits, H.: On updates of logic programs: Semantics and properties. Technical Report 1843-00-08, Institute of Information Systems, Vienna University of Technology (2002)