TY - RPRT TI - A polynomial time algorithm for local testability and its level AU - A. N. Trahtman PY - 2022 UR - https://arxiv.org/abs/2205.05434 ID - 2205.05434 ER -