Module checking revisited (1997)

by O Kupferman, M Y Vardi
Venue:In CAV’96, LNCS 1254