SIAM Journal on computing (1994)