Automated reasoning on feature models (2005)

by D Benavides, P Trinidad, A Ruiz-Cortez
Venue:in Proc. CAiSE’05