@techreport{Mun99ICASE47,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Proof-term synthesis on dependent-type systems 
                via explicit substitutions",
        institution = "ICASE-NASA Langley",
        number = "ICASE Report No. 1999-47 NASA/CR-1999-209730",
        address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
        year = "1999"
}