@Inproceedings{EPTCS15.6,
  author    = {Ventura, Daniel and Ayala-Rinc\'on, Mauricio and Kamareddine, Fairouz},
  year      = {2010},
  title     = {Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices},
  editor    = {Fern\'andez, Maribel},
  booktitle = {{\rm Proceedings Ninth International Workshop on}
               Reduction Strategies in Rewriting and Programming,
               {\rm Brasilia, Brazil, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {15},
  publisher = {Open Publishing Association},
  pages     = {69-82},
  doi       = {10.4204/EPTCS.15.6},
}