1. Cortés, U.: Electronic institutions and agents. AgentLink News 15, 14–15 (2004)
2. Lecture Notes in Artificial Intelligence;S. Cranefield,2006
3. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116, 123–191 (2000)
4. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 236–243. ACM Press, New York (2004)
5. Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)