1. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A formal embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS (LNAI), vol. 1502, pp. 55–166. Springer, Heidelberg (1998)
2. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
3. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A formal semantics for the core of AGENT-0. In: Postma, E., Gyssens, M. (eds.) Proceedings of Eleventh Belgium-Netherlands Conference on Artificial Intelligence, pp. 27–34 (1999)
4. Lecture Notes in Artificial Intelligence;K.V. Hindriks,2001
5. Hindriks, K.V., Lespirance, Y., Levesque, H.: A formal embedding of ConGolog in 3APL. In: Proceedings of the 14th European Conference on Artificial Intelligence, pp. 558–562 (2002)