@InProceedings{Areces2002b,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of BNAIC 2002 14th Belgian-Dutch
                 Conference on Artificial Intelligence",
  title =        "HyLoRes: {A} Hybrid Logic Prover Based on Direct
                 Resolution (System Demo)",
  year =         "2002",
  address =      "Leuven, Belgium",
  abstract =     "System description of HyLoRes.",
}