Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara: Propositional Logic and Cellular Automata on Monoids. J. Cell. Autom. 12(1-2): 27-45 (2016)