The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 41, Number 2
Publication Date: 2000
Complexity of the -query Tautologies in the Presence of a Generic Oracle
Toshio Suzuki; 142-151