@Proceedings{Areces2008c,
  title =        "Methods for Modalities 2007",
  year =         "2008",
  editor =       "C. Areces and S. Demri",
  publisher =    "ENTCS",
}