Bounds on Effective Hamiltonians for Stabilizer Codes - Stephen S. Bullock; Dianne P. O'Leary (2008)