Module checking revisited (1997)

by Orna Kupferman, Moshe Y. Vardi
Venue:In Proc. 9th CAV, LNCS 1254