L. F. Rincón, G. L. Giraldo, Raúl Mazo, Camille Salinesi. An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models. Electronic Notes in Theoretical Computer Science, 302:111-132, 2014. [doi]
Abstract is missing.