@inproceedings{SilesHerbelin10,
  author      = {Vincent Siles and Hugo Herbelin},
  title       = {Equality is Typable in Semi-Full Pure Type Systems},
  booktitle   = {Proceedings of the 25th Annual IEEE Symposium on Logic in
                 Computer Science, LICS 2010, 11-14 July 2010, Edinburgh,
                 United Kingdom},
  pages       = {21-30},
  publisher   = {IEEE Computer Society},
  year        = {2010},
  isbn        = {978-0-7695-4114-3},
}