TY  - RPRT
TI  - Automatic Equivalence Proofs for Non-deterministic Coalgebras
AU  - Marcello Bonsangue
AU  - Georgiana Caltais
AU  - Eugen-Ioan Goriac
AU  - Dorel Lucanu
AU  - Jan Rutten
AU  - Alexandra Silva
PY  - 2013
UR  - https://arxiv.org/abs/1303.1994
ID  - 1303.1994
ER  -