Kazuo Iwama Shuichi Miyazaki Approximation of coNP Sets by NP-complete Sets. 11-20 1995 conf/cocoon/1995 COCOON db/conf/cocoon/cocoon95.html#IwamaM95