Sébastien Autran, Enrico Formenti. More Decision Algorithms for Global Properties of 1D Cellular Automata. J. Cellular Automata, 13(1-2):1-14, 2018. [doi]
@article{AutranF18,
title = {More Decision Algorithms for Global Properties of 1D Cellular Automata},
author = {Sébastien Autran and Enrico Formenti},
year = {2018},
url = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-1-14/},
researchr = {https://researchr.org/publication/AutranF18},
cites = {0},
citedby = {0},
journal = {J. Cellular Automata},
volume = {13},
number = {1-2},
pages = {1-14},
}