Theoretical Computer Science, Volume 420

Volume 420, February 2012