@InCollection{Areces2002,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of CADE-18",
  title =        "HyLoRes 1.0: Direct Resolution for Hybrid Logics",
  year =         "2002",
  address =      "Copenhagen, Denmark",
  editor =       "A. Voronkov",
  ISBN =         "3-540-43931-5",
  pages =        "156--160",
  abstract =     "System description of the HyLoRes prover.",
}