@InProceedings{Mun96CLEI,
      Author = "C{\'e}sar Mu{\~{n}}oz",
      Title  = "Proof Representation in Type Theory: State of the Art",
      booktitle = "Proc. XXII Latinamerican Conference of Informatics 
              CLEI Panel 96",
      Address = "Santaf\'e de Bogot\'a, Colombia",
      Month = {June},
      Year = {1996}}