Juris Hartmanis Richard Chang Desh Ranjan Pankaj Rohatgi On Unique Staisfiability and Randomized Reductions. 166-174 1990 41 Bulletin of the EATCS db/journals/eatcs/eatcs41.html#HartmanisCRR90