A short bibliography of Massimo Franceschet
      Conference papers:
      
         -  
            M. Franceschet
            E. Zimuel
            Modal logic and navigational XPath: an experimental comparison
            Workshop Methods for Modalities
            156-172
            2005
            http://www.sci.unich.it/~francesc/pubs/m4m05.pdf
            
         
 
      
      Journal papers:
      
         -  
            M. Franceschet
            B. ten Cate
            Guarded fragments with constants
            Journal of Logic, Language and Information
            14
            3
            281-288
            2005
            http://www.sci.unich.it/~francesc/pubs/jlli05.pdf