@InProceedings{,
  author =       {Juan Heguiabehere and Gabriel Infante L\'opez and Maarten de Rijke},
  title =        {Structured Problems for Modal Satisfiability Testing},
  booktitle =    {Workshop Proceedings of Methods for Modalities 2},
  note = {refereed},
  year =         {2001},
  editor =       {Carlos Areces and Maarten de Rijke},
  month =        {November},
}