1. A. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence, Vol 49(5–23), 1991.
2. I. Cervesato, L. Chittaro and A. Montanari, A Modal Calculus of Partially Ordered Events in a Logic Programming Framework, in Proceedings ICLP’95, MIT Press, pages 299–313, 1995.
3. I. Cervesato, L. Chittaro and A. Montanari, A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, in in W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI’96), pp. 33–37, John Wiley and Sons, 1996.
4. I. Cervesato, M. Franceschet and A. Montanari, A Hierarchy of Modal Event Calculi: Expressiveness and Complexity, in H. Barringer et al, Proceedings of the 2nd International Conference on Temporal Logic (ICTL’97, pp. 1–17, Kluwer Applied Logic Series, 1997.
5. I. Cervesato, M. Franceschet and A. Montanari, Modal Event Calculi with Preconditions, in R. Morris and L. Khatib, Proceedings of the Fourth International Workshop on Temporal Reasoning (TIME’97), pp. 38–45, IEEE Computer Society Press, 1997.