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