Shalack, V.I., 2016. On First-order Theories Which Can Be Represented by Definitions 22.. https://doi.org/10.21146/2074-1472-2016-22-1-125-135