Uniform Provability in Classical Logic.

Gopalan Nadathur Uniform Provability in Classical Logic. 209-229 1998 8 J. Log. Comput. 2 db/journals/logcom/logcom8.html#Nadathur98