Efficient manipulation of disequalities during dependence analysis

R. Seater
David Wonnacott, Haverford College

Abstract