TY - RPRT TI - The Algebraic Proof of the Universality Theorem AU - Ai-Ko Liu PY - 2004 UR - https://arxiv.org/abs/math/0402045 ID - math/0402045 ER -