TY  - RPRT
TI  - The Bisimulation Problem for equational graphs of finite out-degree
AU  - G. Senizergues
PY  - 2000
UR  - https://arxiv.org/abs/cs/0008018
ID  - cs/0008018
ER  -