@article{gurevich1976semi-conservative,
author = {Gurevich, Yuri},
title = {Semi-conservative Reduction},
year = {1976},
month = {August},
abstract = {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".},
url = {http://approjects.co.za/?big=en-us/research/publication/semi-conservative-reduction/},
pages = {23-25},
volume = {18},
}