TY  - RPRT
TI  - Equivalence Checking of Non-deterministic Operations
AU  - Sergio Antoy
AU  - Michael Hanus
PY  - 2019
UR  - https://arxiv.org/abs/1909.09562
ID  - 1909.09562
ER  -