Hard Instances of Hard Problems. - Jack H. Lutz; Vikram Mhetre; Sridhar Srinivasan (STACS, 2000)