1. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part i. Communications of the ACM, 184–195 (1960)
2. Armstrong, J., Virding, S., Williams, M.: Use of prolog for developing a new programming language. In: The Practical Application of Prolog (1992)
3. Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter. In: Concurrent Prolog: Collected Papers, vol. 1, pp. 27–83. MIT Press, Cambridge (1987)
4. Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence. IOS Press, Amsterdam (2002)
5. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2002), pp. 960–967. ACM Press, New York (2002)