Wei Zhang Hua Yan Haiyan Zhao Zhi Jin A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. 186-199 2008 ICSR http://dx.doi.org/10.1007/978-3-540-68073-4_18 conf/icsr/2008 db/conf/icsr/icsr2008.html#ZhangYZJ08