On the intuitionistic force of classical search (1996)

by E Ritter, D Pym, L A Wallen
Venue:Procedings of TABLEAU'96, volume 1071 of Lecture Notes in Arti Intelligence