Information and Computation, Volume 211

Volume 211, February 2012