The generalized resolution principle