Mikolás Janota Joseph Kiniry Reasoning about Feature Models in Higher-Order Logic. 13-22 2007 SPLC http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.36 conf/splc/2007 db/conf/splc/splc2007.html#JanotaK07