A.R.: Automated reasoning on feature models (2005)

by D Benavides, P T Mart́ın-Arroyo, Cortés
Venue:In: CAiSE. LNCS