Claudio Castellini Alan Smaill Proof Planning for Feature Interactions: A Preliminary Report. 102-114 2002 conf/lpar/2002 LPAR http://link.springer.de/link/service/series/0558/bibs/2514/25140102.htm db/conf/lpar/lpar2002.html#CastelliniS02