Module checking revisited (1997)

by O Kupferman, M Vardi
Venue:In Proceedings of CAV, volume 1254 of LNCS