@InProceedings{Mun96LICS,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Confluence and Preservation of Strong Normalisation in an
           Explicit Substitutions Calculus (Extended Abstract)",
      Booktitle = "Proc. Eleventh Annual {IEEE} Symposium 
                   on Logic in Computer
            Science",
      Month = {July},
      Address = "New Brunswick, New Jersey",            
      pages =        "440--447",           
      organization="IEEE Computer Society Press", 
      Year = {1996},
}