An Oracle with no UP-Complete Sets, but NP = PSPACE.

David Dingel, Fabian Egidy, Christian Glaer

Browse the full MFCS paper archive.