@STRING{lmcs	= "Logical Methods in Computer Science" }

@Article{	  abelScherer:types10,
  author	= {Andreas Abel and Gabriel Scherer},
  title		= {On Irrelevance and Algorithmic Equality in Predicative
		  Type Theory},
  journal	= lmcs,
  volume	= 8,
  number	= 1,
  year		= 2012,
  pages		= {1--36},
  note		= {TYPES'10 special issue.},
  ee		= {http://dx.doi.org/10.2168/LMCS-8(1:29)2012},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}