A Strong Problem Reduction Method Based on Function Introduction.

Matthias Baaz, Alexander Leitsch

Browse the full ISSAC paper archive.