arXiv 2000-08-22 EN The Bisimulation Problem for equational graphs of finite out-degree Senizergues, G.