@INPROCEEDINGS{arec:feat99,
  author = {Areces, C. and Bouma, W. and de Rijke, M.},
  title = {Feature Interaction as a Satisfiability Problem},
  booktitle = {Proceedings of \emph{MASCOTS'99}},
  year = {1999},
  pages = {339--346},
  address = {Los Alamitos, California},
  month = {October},
  publisher = {IEEE Computer Society},
}