TY - RPRT TI - Coset relation algebras AU - H. Andréka AU - S. Givant PY - 2018 DO - 10.1007/s00012-018-0516-x UR - https://arxiv.org/abs/1804.00279 ID - 1804.00279 ER -