Reducing Model Checking of the Many to the Few.

E. Allen Emerson, Vineet Kahlon

Browse the full CADE paper archive.