@InProceedings{Areces4,
  author =       "Carlos Areces and Pascal Fontaine and Stephan Merz",
  title =        "Modal Satisfiability via {SMT} Solving",
  booktitle =    "Software, Services and Systems. Essays Dedicated to
                 Martin Wirsing on the Occasion of His Emeritation",
  year =         "2015",
  pages =        "30--45",
  editor =       "Rocco De Nicola and Rolf Hennicker",
  publisher =    "Springer",
  series =       lncs,
  volume =       "8950",
  URL =          "Areces4.pdf",
}