[C24] Montanari A., Policriti A., "A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics". Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence, M.E. Pollack (Ed.), Nagoya, Japan, Morgan Kaufmann, August 1997, pp. 196-201.


[J12] Montanari A., Policriti A., "Temporal Logic. From Ancient Ideas to Artificial Intelligence, by Peter Ohrstrom and Per F.V. Hasle (book review)". Journal of Symbolic Logic, vol. 62, no. 3, September 1997, pp. 1044-1046.


[J11] Montanari A., de Rijke M.,  Two-Sorted Metric Temporal Logic. Theoretical Computer Science, vol. 183, no. 2, September 1997, pp. 187-214.


[J10] van Benthem J., D'Agostino G., Montanari A., Policriti A.,   Modal Deduction in Second-Order Logic and Set Theory - I. Journal of Logic and Computation, vol. 7, no. 2, April 1997, pp. 251-265 (a summary appeared in Mathematical Reviews 98c:03041).


[NJ2] Chittaro L., Montanari A., "Aggregazione ed omissione temporale nell'Event Calculus: un ambiente integrato ed esempi di sua esecuzione". AI*IA Notizie, Year X, no. 1, March 1997, pp. 23-27 (in Italian).


[W14] Montanari A., Policriti A., "Executing Metric Temporal Logic". Proceedings of the IJCAI'97 Workshop on Programming in Temporal and Non Classical Logics, C. Brzoska and M. Fisher (Eds.), Nagoya, Japan, August 1997.


[W13] Cervesato I., Franceschet M., Montanari A. "Modal Event Calculi with Preconditions". Proceedings of TIME'97: 4th International Workshop on Temporal Representation and Reasoning, L. Khatib and R. Morris (Eds.), IEEE Computer Society Press, May 1997, pp.38-45.


[CS6] Montanari A., Peron A., Policriti A., "Exploiting Systolic and Rabin Tree Automata to Decide Time Granularity". Proceedings of LOGIC COLLOQUIUM '97, Leeds, UK, July 1997.


[CS5] Cervesato I., Franceschet M., Montanari A. "The Complexity of Model Checking in Modal Event Calculi". Proceedings of ICLP '97: 14th International Conference on Logic Programming, L. Naish (Ed.), Leuven, Belgium, MIT Press, July 1997.


[CS3] D'Agostino G., Montanari A., Policriti A., "Set-theoretic decidability results for modal theorem proving". Proceedings of LOGIC COLLOQUIUM '95, Haifa, Israel, agosto 1995 (also in Bulletin of Symbolic Logic, Vol.3, n.1, March 1997, pp.138-139).