Shalack, V. (2015). On Some Applied First-Order Theories which Can Be Represented by Definitions. Bulletin of the Section of Logic, 44(1/2), 19–24. https://doi.org/10.18778/0138-0680.44.1.2.03