@InProceedings{AccorsiArecesRijke99,
  author =       {Rafael Accorsi and Carlos Areces and Maarten de Rijke},
  title =        {Towards Feature Interaction via Stable Models},
  year =         1999,
  booktitle =    {Proceedings of the Second Workshop on Formal Methods},
  month =        {October},
  address =      {Florian\'opolis, Brasil}
}