Computing simulations on finite and infinite graphs (1995)

by M R Henzinger, T A Henzinger, P W Kopke
Venue:in FOCS