@misc{indiciaea310b7b4d6a7, title = {On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation}, author = {Yoshiki Nakamura}, year = {2023}, doi = {10.4230/lipics.mfcs.2023.69}, url = {https://arxiv.org/abs/2307.05046}, note = {Source identifier: 2307.05046} }