TY - RPRT TI - The amazing mixed polynomial closure and its applications to two-variable first-order logic AU - Thomas Place PY - 2022 UR - https://arxiv.org/abs/2202.03989 ID - 2202.03989 ER -