Some more examples of undecidable theories
M. A. Taislin

This publication is cited in the following articles:

1. A. I. Kokorin, A. G. Pinus, “Decidability problems of extended theories”, Russian Math. Surveys, 33:2 (1978), 53–96