TY - RPRT TI - Completeness for the Complexity Class $\forall \exists \mathbb{R}$ and Area-Universality AU - Michael G. Dobbins AU - Linda Kleist AU - Tillmann Miltzow AU - Paweł Rzążewski PY - 2021 UR - https://arxiv.org/abs/1712.05142 ID - 1712.05142 ER -