Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (SAS, 1994)

Two Classes of Boolean Functions for Dependency Analysis. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (Sci. Comput. Program., 1998)