@InProceedings{Areces2001h,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of Methods for Modalities 2",
  title =        "HyLoRes: Direct Resolution for Hybrid Logics",
  year =         "2001",
  address =      "Amsterdam, The Netherlands",
  editor =       "C. Areces and M. de Rijke",
  abstract =     "System description of the HyLoRes prover.",
}