A Detailed Algorithm Testing Guards over Feature Trees.

Andreas Podelski Peter Van Roy A Detailed Algorithm Testing Guards over Feature Trees. 11-38 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#PodelskiR95