TY - RPRT TI - An incompressibility theorem for automatic complexity AU - Bjørn Kjos-Hanssen PY - 2022 UR - https://arxiv.org/abs/1908.10843 ID - 1908.10843 ER -