Tirza Hirst David Harel Taking it to the Limit: On Infinite Variants of NP-Complete Problems. 292-304 1993 Structure in Complexity Theory Conference db/conf/coco/coco93.html#HirstH93