TY  - RPRT
TI  - A robust graph-based approach to observational equivalence
AU  - Dan R. Ghica
AU  - Koko Muroya
AU  - Todd Waugh Ambridge
PY  - 2025
DO  - 10.46298/lmcs-21(2:8)2025
UR  - https://arxiv.org/abs/1907.01257
ID  - 1907.01257
ER  -