@STRING{fossacs11="Foundations of Software Science and Computational
		  Structures, 14th International Conference, FOSSACS 2011,
		  Held as Part of the Joint European Conferences on Theory
		  and Practice of Software, ETAPS 2011, Saarbr\"{u}cken,
		  Germany, March 26 - April 3, 2011. Proceedings" }

@InProceedings{	  abel:fossacs11,
  author	= {Andreas Abel},
  title		= {Irrelevance in Type Theory with a Heterogeneous Equality
		  Judgement},
  booktitle	= fossacs11,
  year		= 2011,
  pages		= {57-71},
  ee		= {http://dx.doi.org/10.1007/978-3-642-19805-2_5},
  crossref	= {DBLP:conf/fossacs/2011},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}