TY - RPRT TI - On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions AU - Miguel Couceiro PY - 2015 UR - https://arxiv.org/abs/1508.01568 ID - 1508.01568 ER -