@article{gurevich1982existential,
author = {Gurevich, Yuri},
title = {Existential Interpretation, II},
year = {1982},
month = {July},
abstract = {A method of existential interpretation was introduced in [2]. It allows proving undecidability of modest strata of many first order theories. Here we improve the method and its presentation, strengthen somewhat the previous results and prove a couple of new results. The reader is not supposed to be acquainted with [2]/},
url = {http://approjects.co.za/?big=en-us/research/publication/existential-interpretation-ii/},
pages = {103-120},
volume = {22},
}