C. Areces, P. Blackburn, and M. Marx, A Road-Map on Complexity for Hybrid Logics, Computer Science Logic, pp.307-321, 1999.
DOI : 10.1007/3-540-48168-0_22
URL : https://hal.archives-ouvertes.fr/inria-00000337

C. Areces and B. Cate, Hybrid logics, Handbook of Modal Logics, pp.821-868, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000307

P. Blackburn and J. Seligman, Hybrid languages, Journal of Logic, Language and Information, vol.57, issue.3, pp.251-272, 1995.
DOI : 10.1007/BF01049415

T. Bolander and P. Blackburn, Termination for Hybrid Tableaus, Journal of Logic and Computation, vol.17, issue.3, pp.517-554, 2007.
DOI : 10.1093/logcom/exm014

S. Cerrito and M. C. Mayer, Nominal substitution at work with the global and converse modalities, Advances in Modal Logic, pp.57-74, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00666652

S. Cerrito and M. C. Mayer, A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders, Automated Resoning with Analytic Tableaux and Related Methods, pp.104-118, 2011.
DOI : 10.1007/11538363_24
URL : https://hal.archives-ouvertes.fr/hal-00666650

H. Ganzinger and H. De-nivelle, A superposition decision procedure for the guarded fragment with equality, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.295-305, 1999.
DOI : 10.1109/LICS.1999.782624

C. Hirsch and S. Tobies, A Tableau Algorithm for the Clique Guarded Fragment, Advances in Modal Logic, pp.257-277, 2001.
DOI : 10.1142/9789812776471_0014

J. Hladik, Implementation and evaluation of a tableau algorithm for the guarded fragment, Automated Reasoning with Analytic Tableaux and Related Methods volume 2381 of LNAI, pp.145-159, 2002.

I. Horrocks, B. Glimm, and U. Sattler, Hybrid Logics and Ontology Languages, Electronic Notes in Theoretical Computer Science, vol.174, issue.6, pp.3-14, 2007.
DOI : 10.1016/j.entcs.2006.11.022
URL : http://doi.org/10.1016/j.entcs.2006.11.022

M. Kaminski and G. Smolka, Terminating Tableau Systems for Hybrid Logic with Difference and Converse, Journal of Logic, Language and Information, vol.9, issue.3, pp.437-464, 2009.
DOI : 10.1007/s10849-009-9087-8

M. Marx, Narcissists, stepmothers and spies, International Workshop on Description Logics, 2002.

B. Cate and M. Franceschet, Guarded Fragments with Constants, Journal of Logic, Language and Information, vol.70, issue.1, pp.281-288, 2005.
DOI : 10.1007/s10849-005-5787-x

B. Cate and M. Franceschet, On the complexity of hybrid logics with binders, Proceedings of Computer Science Logic 2005, pp.339-354, 2005.