Lance Fortnow Nick Reingold PP is Closed Under Truth-Table Reductions. 1-6 1996 124 Inf. Comput. 1 db/journals/iandc/iandc124.html#FortnowR96