TY - RPRT TI - A Proof of the Factorization Forest Theorem AU - Manfred Kufleitner PY - 2007 UR - https://arxiv.org/abs/0710.5130 ID - 0710.5130 ER -