Model Checking and Transitive-Closure Logic.

Neil Immerman, Moshe Y. Vardi

Browse the full CAV paper archive.