TY - RPRT TI - Weak length induction and slow growing depth boolean circuits AU - Satoru Kuroda PY - 1999 UR - https://arxiv.org/abs/cs/9907022 ID - cs/9907022 ER -