@misc{indiciaebc486adfac02,
  title = {Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations},
  author = {Yoshiki Nakamura},
  year = {2023},
  doi = {10.1109/lics56636.2023.10175811},
  url = {https://arxiv.org/abs/2304.12079},
  note = {Source identifier: 2304.12079}
}