@misc{indiciae757f307f46e7,
  title = {Specification in Mahavier Systems via Closed Relations},
  author = {Iztok Banič and Goran Erceg and Ivan Jelić and Judy Kennedy},
  year = {2025},
  url = {https://arxiv.org/abs/2507.01155},
  note = {Source identifier: 2507.01155}
}