Aduri Pavan, Alan L. Selman: Separation of NP-Completeness Notions. CCC 2001: 78-89