@inproceedings{MMS+09,
  author    = {A. Meier and
               M. Mundhenk and
               T. Schneider and
               M. Thomas and
               V. Weber and
               F. Weiss},
  title     = {The Complexity of Satisfiability for Fragments of Hybrid
               Logic---{Part I}},
  booktitle = {Proceedings 34th Int. Symp. on Mathematical Foundations of Computer Science (MFCS)},
  year      = 2009,
  pages     = {587-599},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03816-7_50},
  crossref  = {MFCS2009}
}

@proceedings{MFCS2009,
  title     = {Mathematical Foundations of Computer Science 2009, 34th
               International Symposium, MFCS 2009, Novy Smokovec, High
               Tatras, Slovakia, August 24-28, 2009. Proceedings},
  booktitle = {Proceedings 34th Int. Symp. on Mathematical Foundations of Computer Science (MFCS)},
  series    = {LNCS},
  volume    = 5734,
  year      = 2009,
  isbn      = {978-3-642-03815-0}
}