Software Product Line Conference 2007
Reasoning about Feature Models in Higher-Order Logic