On the intuitionistic force of classical search (0)

by E Ritter, D J Pym, L A Wallen
Venue:Theoretical Computer Science