1. Baral, C., Gelfond, M.: Representing concurrent actions in extended logic programming. In: Proceedings of the 13th International Joint Conference on Artifical Intelligence, vol. 2, pp. 866–871. Morgan Kaufmann Publishers Inc., San Francisco (1993)
2. Baral, C., Gelfond, M.: Reasoning agents in dynamic domains, pp. 257–279. Kluwer Academic Publishers, Norwell (2000)
3. Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proceedings of the 20th National Conference on Artificial Intelligence, vol. 2, pp. 689–694. AAAI Press, Menlo Park (2005)
4. Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming (1997)
5. Bonner, A.J., Kifer, M.: Transaction logic programming. In: Int’l Conference on Logic Programming, pp. 257–282. MIT Press, Budapest (June 1993)