Decidable Properties for Regular Cellular AutomataFourth IFIP International Conference on Theoretical Computer Science- TCS 2006