Length-Increasing Reductions for PSPACE-Completeness.

John M. Hitchcock, Aduri Pavan

Browse the full MFCS paper archive.