Configuration Knowledge Representation and Reasoning
Feature models, grammars, and propositional formulas