Decidable Properties of 2D Cellular Automata