David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés. Automated Reasoning on Feature Models. In Oscar Pastor, João Falcão e Cunha, editors, Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings. Volume 3520 of Lecture Notes in Computer Science, pages 491-503, Springer, 2005. [doi]
Abstract is missing.