Bruno Durand A Random NP-Complete Problem for Inversion of 2D Cellular Automata. 95-106 1995 STACS db/conf/stacs/stacs95.html#Durand95 http://dx.doi.org/10.1007/3-540-59042-0_65