P.W.: Computing simulations on nite and in nite graphs (1995)

by M R Henzinger, T A Henzinger, Kopke
Venue:In: Proc. FOCS'95