Computing simulations on finite and infinite graphs (1995)

by M R Henzinger, T Henzinger, P Kopke
Venue:In FOCS