@INPROCEEDINGS{Hoffmann2007,
  author = {Hoffmann, G. and Areces, C.},
  title = {HTab: A Terminating Tableaux System for Hybrid Logic},
  booktitle = {Proceedings of Methods for Modalities 5},
  year = {2007},
  month = {November},
  owner = {areces},
  timestamp = {2007.10.25}
}