TY  - RPRT
TI  - On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
AU  - Yoshiki Nakamura
PY  - 2023
DO  - 10.4230/lipics.mfcs.2023.69
UR  - https://arxiv.org/abs/2307.05046
ID  - 2307.05046
ER  -