Stephen A. Fenner PP-Lowness and a Simple Definition of AWPP. 199-212 2003 36 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-002-1089-8 db/journals/mst/mst36.html#Fenner03