On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).

Liming Cai, Jianer Chen

Browse the full MFCS paper archive.