An arithmetical characterization of NP," Theoretical Computer Science 21 (1982)

by Clarence F Kent, Bernard R Hodgson