@misc{indiciaed7ff9f843bc8,
  title = {Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi},
  author = {Jose Espirito Santo and Ralph Matthes and Luis Pinto},
  year = {2009},
  doi = {10.2168/lmcs-5(2:11)2009},
  url = {https://arxiv.org/abs/0903.1822},
  note = {Source identifier: 0903.1822}
}