@InProceedings{Accorsi1999,
  author =       "R. Accorsi and C. Areces and M. de Rijke",
  booktitle =    "Proceedings of the 2nd WFM",
  title =        "Towards Feature Interaction via Stable Models",
  year =         "1999",
  address =      "Florian{\'o}polis, Brasil",
  abstract =     "In this paper we propose a new approach to the problem
                 of detecting feature interactions based on the stable
                 models semantics for logical programs. Starting from a
                 formal definition of a model of the Basic Call System,
                 we encode the allowed actions and transitions by means
                 of rules in the style of Reiter' s defaults. We can
                 then use tools like smodels to perform tasks like
                 verification and testing.",
}