SIAM Journal on computing (1995)