@Techreport{Mun97INRIA3309,
      Author = "C. Mu{\~{n}}oz",
      Title  = "A Calculus of Substitutions for Incomplete-Proof 
                Representation in Type Theory",
      Institution = {Unit\'e de recherche INRIA-Rocquencourt},
      Month = {November},
      Number = {RR-3309},
      Year = {1997}}