Frederic Green On the Power of Deterministic Reductions to C=P. 215-233 1993 26 Mathematical Systems Theory 2 db/journals/mst/mst26.html#Green93