On the Intuitionistic Force of Classical Search (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Browse the full TABLEAUX paper archive.