V. Shalack, “On Some Applied First-Order Theories which Can Be Represented by Definitions”, B Sect Log, vol. 44, no. 1/2, pp. 19–24, Jan. 2015.