Joseph Kiniry, Mikolas Janota, "Reasoning about Feature Models in Higher-Order Logic", Software Product Line Conference, International vol. 00 no. , p. 13-22, , 2007