Iain A. Stewart On Completeness for NP via Projection Translations. 125-157 1994 27 2 Mathematical Systems Theory db/journals/mst/mst27.html#Stewart94