@misc{indiciae918f776f2fa7,
  title = {A robust graph-based approach to observational equivalence},
  author = {Dan R. Ghica and Koko Muroya and Todd Waugh Ambridge},
  year = {2025},
  doi = {10.46298/lmcs-21(2:8)2025},
  url = {https://arxiv.org/abs/1907.01257},
  note = {Source identifier: 1907.01257}
}