@article{DMTCS_2010_special_257_a8,
     author = {Baird, Leemon and Fagin, Barry},
     title = {Faster {Methods} for {Identifying} {Nontrivial} {Energy} {Conservation} {Functions} for {Cellular} {Automata}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AL, Automata 2010 - 16th Intl. Workshop on CA and DCS},
     year = {2010},
     doi = {10.46298/dmtcs.2763},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2763/}
}