Iain A. Stewart Complete Problems for Monotone NP. 147-157 1995 145 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs145.html#Stewart95 http://dx.doi.org/10.1016/0304-3975(94)00175-I