Simplifying reductions.

Gautam Gupta, Sanjay V. Rajopadhye

Browse the full POPL paper archive.