Artificial life: a constructive lower bound for artificial intelligence | IEEE Journals & Magazine | IEEE Xplore