2.4  An Ancient but Interesting Paper

Detection of Reductions