@inproceedings{HerbelinLee09,
  author      = {Hugo Herbelin and Gyesik Lee},
  title       = {Forcing-based cut-elimination for Gentzen-style
                  intuitionistic sequent calculus},
  booktitle   = {Logic, Language, Information and Computation, 16th
                  International Workshop, WoLLIC 2009, Tokyo, Japan,
                  June 21-25, 2009, Proceedings},
  editor      = {Hiroakira Ono and Makoto Kanazama and Ruy de Queiroz},
  pages       = {209--217},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  volume      = {5514},
  year        = {2009},
}