TY  - RPRT
TI  - On the Complexity of Equivalence of Specifications of Infinite Objects
AU  - Joerg Endrullis
AU  - Dimitri Hendriks
AU  - Rena Bakhshi
PY  - 2012
UR  - https://arxiv.org/abs/1207.0158
ID  - 1207.0158
ER  -