Lane A. Hemaspaandra Mitsunori Ogihara Gerd Wechsung Reducing the Number of Solutions of NP Functions. 311-328 2002 64 J. Comput. Syst. Sci. 2 http://dx.doi.org/10.1006/jcss.2001.1815 db/journals/jcss/jcss64.html#HemaspaandraOW02