Stephen A. Cook Robert A. Reckhow 73-80 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#CookR72