TY  - RPRT
TI  - Galois connection for sets of operations closed under permutation, cylindrification and composition
AU  - Miguel Couceiro
AU  - Erkko Lehtonen
PY  - 2010
DO  - 10.1007/s00012-012-0184-1
UR  - https://arxiv.org/abs/0910.5409
ID  - 0910.5409
ER  -