Verification of fair transition systems (1998)

by O Kupferman, M Y Vardi
Venue:Chicago Journal of TCS