Feature models, grammars, and propositional formulas
Introduction to Algorithms