SIAM Journal on computing (1993)