NP Might Not Be As Easy As Detecting Unique Solutions.

Richard Beigel, Harry Buhrman, Lance Fortnow

Browse the full STOC paper archive.