@misc{indiciae7edf6009a7c0, title = {Galois connection for sets of operations closed under permutation, cylindrification and composition}, author = {Miguel Couceiro and Erkko Lehtonen}, year = {2010}, doi = {10.1007/s00012-012-0184-1}, url = {https://arxiv.org/abs/0910.5409}, note = {Source identifier: 0910.5409} }