1. Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., & Serafini L. (2006). Model-checking memory requirements of resource-bounded reasoners. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI). Menlo Park: AAAI Press.
2. Alechina N., Jago, M., Bertoli, P., Logan, B., Ghidini, C., & Serafini, L. (2006). Verifying space and time requirements for resource-bounded agents. In Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 217–219). ACM.
3. Barringer H., Fisher M., Gabbay D., Gough G., Owens R. (1995) MetateM: An introduction. Formal Aspects of Computing 7(5): 533–549
4. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds) (1996) The imperative future: Principles of executable temporal logics. Research Studies Press, Chichester
5. Blackburn P., de Rijke M. (1997) Why combine logics?. Studia Logica 59: 5–27