McNulty, 1986. Alfred Tarski and undecidable theories 51.. https://doi.org/10.2307/2273902