Computing simulations on finite and infinite graphs (1995)

by Monika Rauch Henzinger, Thomas A Henzinger, Peter W Kopke
Venue:In IEEE Symposium on Foundations of Computer Science