Deterministic vs. Nondeterministic Transitive Closure Logic

Erich Grdel, Gregory L. McColm

Browse the full LICS paper archive.