T. Bolander and T. Braüner, Tableau-based Decision Procedures for Hybrid Logic, Journal of Logic and Computation, vol.16, issue.6, pp.737-763, 2006.
DOI : 10.1093/logcom/exl008
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1266

P. Bruscoli and A. Guglielmi, On the proof complexity of deep inference, Proof, Computation, 2007.
DOI : 10.1145/1462179.1462186
URL : https://hal.archives-ouvertes.fr/inria-00441211

P. Blackburn, Internalizing labelled deduction, Journal of Logic and Computation, vol.10, issue.1, pp.137-168, 2000.
DOI : 10.1093/logcom/10.1.137
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5616

K. Brünnler, Deep Inference and Symmetry for Classical Proofs, 2003.

K. Brünnler and A. Tiu, A Local System for Classical Logic, LNAI, vol.2250, pp.347-361, 2001.
DOI : 10.1007/3-540-45653-8_24

P. Di and G. , Structures for multiplicative cyclic linear logic: Deepness vs cyclicity, Computer Science Logic, pp.130-144, 2004.

A. Guglielmi and L. Straßburger, Non-commutativity and MELL in the Calculus of Structures, Computer Science Logic LNCS, vol.2142, pp.54-68, 2001.
DOI : 10.1007/3-540-44802-0_5

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2007.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441214

J. Seligman, The Logic of Correct Description, Advances in Intensional Logic, Applied Logic Series, pp.107-135, 1997.
DOI : 10.1007/978-94-015-8879-9_5

C. Stewart and P. Stouppa, A systematic proof theory for several modal logics, Advances in Modal Logic, pp.309-333, 2005.

F. Stouppa, The design of modal proof theories: the case of S5, 2004.

L. Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures, 2003.

M. Tzakova, Tableau calculi for hybrid logics Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99, volume 1617 of LNAI, pp.278-292, 1999.