Bisimulation can’t be traced (1995)

by B Bloom, S Istrail, A R Meyer
Venue:Journal of the ACM