Carlos Areces Wiet Bouma Maarten de Rijke Feature Interaction as a Satisfiability Problem. 339- 1999 conf/mascots/1999 MASCOTS http://computer.org/proceedings/mascots/0381/03810339abs.htm db/conf/mascots/mascots1999.html#ArecesBR99