Arne Meier Martin Mundhenk Thomas Schneider Michael Thomas Volker Weber Felix Weiss The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I http://arxiv.org/abs/0906.1489 2009 CoRR abs/0906.1489 db/journals/corr/corr0906.html#abs-0906-1489 informal publication