A Simplified Stabilizer ZX-calculus
the heisenberg representation of quantum computers .