Authors: Armando, A Coglio, A Giunchiglia, F Ranise, S

Citation: A. Armando et al., The control layer in open mechanized reasoning systems: Annotations and tactics, J SYMB COMP, 32(4), 2001, pp. 305-332

Authors: Ghidini, C Giunchiglia, F

Citation: C. Ghidini et F. Giunchiglia, Local Models Semantics, or contextual reasoning equals locality plus compatibility, ARTIF INTEL, 127(2), 2001, pp. 221-259

Authors: Giunchiglia, F Sebastiani, R

Citation: F. Giunchiglia et R. Sebastiani, Building decision procedures for modal logics from propositional decision procedures: The case study of modal K(m), INF COMPUT, 162(1-2), 2000, pp. 158-178

Authors: Hartonas-Garmhausen, V Campos, S Cimatti, A Clarke, E Giunchiglia, F

Citation: V. Hartonas-garmhausen et al., Verification of a safety-critical railway interlocking system with real-time constraints, SCI COMP PR, 36(1), 2000, pp. 53-64

Authors: Giunchiglia, F

Citation: F. Giunchiglia, Using Abstrips abstractions - Where do we stand?, ARTIF INT R, 13(3), 1999, pp. 201-213