Marc Frappier Ali Mili Jules Desharnais Defining and detecting feature interactions. 212-239 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#FrappierMD97