Corrected subset reduction algorithm