On Using Oracles That Compute Values.

Stephen A. Fenner, Steven Homer, Mitsunori Ogiwara, Alan L. Selman

Browse the full STACS paper archive.