Automated reasoning techniques for hybrid logics. (Techniques de raisonnement automatique pour les logiques hybrides). - Daniel Alejandro Gorín (2009)