The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss

Browse the full MFCS paper archive.