Mikolás Janota, Joseph Kiniry. Reasoning about Feature Models in Higher-Order Logic. In Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. pages 13-22, IEEE Computer Society, 2007. [doi]
Abstract is missing.