Semi-conservative Reduction - Gurevich, Yuri (1976)
Let L be the set of formulas of an ordinary version of the first order predicate calculus. The term "class" is used for "subset of L".