On the Universal and Existential Fragments of the -Calculus.

Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar

Browse the full TACAS paper archive.