TY  - RPRT
TI  - Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
AU  - Yoshiki Nakamura
PY  - 2023
DO  - 10.1109/lics56636.2023.10175811
UR  - https://arxiv.org/abs/2304.12079
ID  - 2304.12079
ER  -