David Benavides, Pablo Trinidad, Antonio Ruiz Cortés. Automated Reasoning on Feature Models. In Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, editors, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE. pages 361-373, Springer, 2013. [doi]
Abstract is missing.