@incollection{Cavagnetto11,
author = {Stefano Cavagnetto},
title = {Propositional Proof Complexity and Cellular Automata},
booktitle = {Cellular Automata},
publisher = {IntechOpen},
address = {Rijeka},
year = {2011},
editor = {Alejandro Salcido},
chapter = {22},
doi = {10.5772/16030},
url = {https://doi.org/10.5772/16030}
}