@InCollection{Areces2000e,
  author =       "C. Areces and E. Hoogland and D. {de} Jongh",
  booktitle =    "Advances in Modal Logic",
  publisher =    "CSLI Publications",
  title =        "Interpolation, Definability and Fixed Points in
                 Interpretability Logics",
  year =         "2000",
  editor =       "K. Segerberg and M. Zakharyaschev and M. de Rijke and
                 H. Wansing",
  note =         "Extended version of ``The Interpolation Theorem for IL
                 and ILP'' (Areces, de Jongh and Hoogland).",
  pages =        "35--58",
  volume =       "2",
  ISBN =         "1-57586-271-9",
}