On Completeness for NP via Projection Translations

Iain A. Stewart. On Completeness for NP via Projection Translations. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, pages 353-366, Springer, 1991.

Abstract

Abstract is missing.