More Decision Algorithms for Global Properties of 1D Cellular Automata. - Sébastien Autran; Enrico Formenti (J. Cell. Autom., 2018)