Well-founded equivalence bisimulation (2000)

by P Manolios