@inproceedings{Herbelin12,
  author      = {Hugo Herbelin},
  title       = {A Constructive Proof of Dependent Choice, Compatible with Classical Logic},
  booktitle   = {Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in
                 Computer Science, LICS 2012, 25-28 June 2012, Dubrovnik,
                 Croatia},
  pages       = {365--374},
  publisher   = {IEEE Computer Society},
  year        = {2012}
}