Sukanta Das, Mihir K. Chakraborty: Formal Logic of Cellular Automata. Complex Syst. 30(2): 187-203 (2021)