@InCollection{Areces2000d,
  author =       "C. Areces and R. Gennari and J. Heguiabehere and M. de
                 Rijke",
  booktitle =    "Proceedings of ECAI'2000",
  title =        "Tree-Based Heuristics in Modal Theorem Proving",
  year =         "2000",
  abstract =     "We use a strong form of the tree model property to
                 boost the performance of resolution-based first-order
                 theorem provers on the so-called relational
                 translations of modal formulas. We provide both the
                 mathematical underpinnings and experimental results
                 con- cerning our improved translation method.",
  address =      "Berlin, Germany",
  editor =       "W. Horn",
  pages =        "199--203",
  ISBN =         "978-1-58603-013-1",
}