\begin{thebibliography}{AS12}

\bibitem[AS12]{abelScherer:types10}
Andreas Abel and Gabriel Scherer.
\newblock On irrelevance and algorithmic equality in predicative type theory.
\newblock {\em Logical Meth. in Comput. Sci.}, 8(1:29):1--36, 2012.
\newblock TYPES'10 special issue.

\end{thebibliography}
