TY - RPRT TI - Representable and diagonally representable weakening relation algebras AU - Peter Jipsen AU - Jaš Šemrl PY - 2023 UR - https://arxiv.org/abs/2301.02213 ID - 2301.02213 ER -