Information and Computation
Information and Computation > 1997 > 133 > 2 > 73-116
Information and Computation > 1997 > 133 > 2 > 117-134
Information and Computation > 1997 > 133 > 2 > 73-116
Information and Computation > 1997 > 133 > 2 > 117-134