On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics (Logical Methods in Computer Science, 2011)