1. Michael E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
2. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Vol. B, pages 243–320. MIT Press/Elsevier, 1990.
3. M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In Intelligent Agents IV: Proceedings of ATAL-97, Providence, RI, 1997. Springer LNAI 1365.
4. Michael P. Georgeff and Felix Ingrand. Decision-making in an embedded reasoning system. In Proceedings of IJCAI-89, pages 972–978, Detroit, MI, 1989.
5. D. Harel and C. Kahana. On statecharts with overlapping. ACM Transactions on Software Engineering and Methodology, 1(4), 1992.