"Automated Reasoning on Feature Models."

David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics