Reasoning about Feature Models in Higher-Order Logic.

Mikols Janota, Joseph Kiniry

Browse the full SPLC paper archive.