[1] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi (poster). Proc. of the Fourteenth International Conference on Logic Programming - ICLP'97
[2] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Modal Event Calculi with Preconditions. Proc. of the Fourth International Workshop on Temporal Representation and Reasoning - TIME'97, pages 38--45.
[3] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. A Hierarchy of Modal Event Calculi: Expressiveness and Complexity. Proc. of the Second International Conference on Temporal Logic - ICTL'97, pages 1--17.
[4] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Event Calculus with Explicit Quantifiers. Proc. of the Fifth International Workshop on Temporal Representation and Reasoning - TIME'98. To appear.
[5] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Modal Event Calculus with Preconditions. Extended and revised version of [2]. Submitted to the Journal of Experimental and Theoretical Artificial Intelligence, 1998.
[6] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers . Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning --- KR'98, 1988.
[7] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. A Hierarchy of Propositional Modal Event Calculi: Expressiveness and Complexity. Extended and revised version of [3]. Submitted to the Journal of Logic Programming, 1998.