TY - RPRT TI - Amalgamation and Symmetry: From Local to Global Consistency in The Finite AU - Martin Otto PY - 2024 UR - https://arxiv.org/abs/1709.00031 ID - 1709.00031 ER -