On the Succinctness of Nondeterminism.

Benjamin Aminof, Orna Kupferman

Browse the full ATVA paper archive.