@Techreport{Mun95INRIA2762,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Confluence and Preservation of Strong Normalisation in an
           Explicit Substitutions Calculus",
      Institution = {Unit\'e de recherche INRIA-Rocquencourt},
      Month = {December},
      Number = {RR-2762},
      Year = {1995},
      }