Wang, Yongge Programming Logics, MPI for Informatics, Max Planck Society;
Wang, Y. (1997). NP-hard sets are superterse unless NP is small. Information Processing Letters, 61(1), 1-6. doi:10.1016/S0020-0190(96)00189-5.