Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Logical Methods in Computer Science, 2009)