Seinosuke Toda On Polynomial-Time Truth-Table Reducibility of Intractable Sets to P-Selective Sets. 68-82 1991 24 Mathematical Systems Theory 2 db/journals/mst/mst24.html#Toda91