Bounded-Variable Fragments of Hybrid Logics.

Thomas Schwentick, Volker Weber

Browse the full STACS paper archive.