On the limits of mutation reduction strategies
Reducibility Among Combinatorial Problems