SIAM Journal on computing (1996)