The variety of coset relation algebras - Steven Givant; Hajnal Andréka (2018)