@Article{Mun01TCS,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Proof-term synthesis on dependent-type systems 
                via explicit substitutions",
      Journal = "Theoretical Computer Science",
      Volume = "266",
      Pages= "407--440",
      year = {2001},
      Note = {It also appears as report 
              NASA/CR-1999-209730 ICASE No. 99-47.}}