Shih-Chao Liu A Note on Many-One Reducibility. 35-42 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#Liu63