On the expressive limits of reified theories | Journal of Logic and Computation | DeepDyve