SIAM Journal on computing (1997)