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. G. De Giacomo, Y. Lesperance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109–169, 2000.