NP-uniforme Komplexitätsklassen - Thierauf, Thomas (1990)