Propositional Proof Complexity and Cellular Automata - Cavagnetto, Stefano (IntechOpen, 2011)
None