Shin Nakajima. Non-clausal Encoding of Feature Diagram for Automated Diagnosis. In Jan Bosch, Jaejoon Lee, editors, Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings. Volume 6287 of Lecture Notes in Computer Science, pages 420-424, Springer, 2010. [doi]