Kenichi Morita Katsunobu Imai Logical Universality and Self-Reproduction in Reversible Cellular Automata. 152-166 1996 conf/ices/1996 ICES db/conf/ices/ices1996.html#MoritaI96