TY  - RPRT
TI  - The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
AU  - Roland Backhouse
AU  - Ed Voermans
PY  - 2025
DO  - 10.46298/fi.12245
UR  - https://arxiv.org/abs/2309.02017
ID  - 2309.02017
ER  -