@workingPaper{Treinen_1990,
title={A new method for undecidability proofs of first order theories},
author={Treinen, Ralf},
doi={http://dx.doi.org/10.22028/D291-26456},
year={1990}
}