@ARTICLE{benavides05-CAISE,
  author = {D. Benavides and A. Ruiz--Cort\'es and P. Trinidad},
  title = {Automated Reasoning on Feature Models},
  journal = {LNCS, Advanced Information Systems Engineering: 17th International
	Conference, CAiSE 2005},
  year = {2005},
  volume = {3520},
  pages = {491--503},
  issn = {0302-9743},
}