@InProceedings{Areces2002a,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of the 3rd International Workshop on the
                 Implementation of Logics",
  title =        "Direct Resolution for Modal-like Logics",
  year =         "2002",
  abstract =     "In this paper we discuss the implementation of a
                 hybrid logic theorem prover based on resolution,
                 HyLoRes, which fuses first-order proving techniques
                 with modal and hybrid reasoning. The focus is on
                 implementation details, and on how we adapted
                 first-order methods to the hybrid environment.",
  address =      "Tbilisi, Georgia",
  pages =        "3--16",
                 Description Logics",
}