Module checking. (2001)

by O Kupferman, M Y Vardi, P Wolper
Venue:Information and Computation