The generalized resolution principle

Open in new window