@INPROCEEDINGS{sust:expe07,
  author = {Sustretov, D. and Hoffmann, G. and Areces, C. and Blackburn, P.},
  title = {Experiments in Theorem Proving for Topological Hybrid Logic},
  booktitle = {Proceedings of Methods for Modalities 5},
  year = {2007},
  month = {November},
  owner = {areces},
  timestamp = {2007.10.25}
}