A Downward Translation in the Polynomial Hierarchy.

Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel

Browse the full STACS paper archive.