Nondeterministic functions and the existence of optimal proof systems
scientific article; zbMATH DE number 5602744
scientific article