@article{journals/corr/abs-1203-4716,
  added-at = {2012-10-15T00:00:00.000+0200},
  author = {Abel, Andreas and Scherer, Gabriel},
  biburl = {http://www.bibsonomy.org/bibtex/216db3606a8c4351d636b8fee38f5e959/dblp},
  ee = {http://dx.doi.org/10.2168/LMCS-8(1:29)2012},
  interhash = {7864e38ed4d3132a755d3912071339c3},
  intrahash = {16db3606a8c4351d636b8fee38f5e959},
  journal = {Logical Methods in Computer Science},
  keywords = {dblp},
  number = 1,
  timestamp = {2012-10-15T00:00:00.000+0200},
  title = {On Irrelevance and Algorithmic Equality in Predicative Type Theory},
  url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1203-4716},
  volume = 8,
  year = 2012
}