Ralf Treinen. A New Method for Undecidability Proofs of First Order Theories. In Kesav V. Nori, C. E. Veni Madhavan, editors, Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings. Volume 472 of Lecture Notes in Computer Science, pages 48-62, Springer, 1990.
Abstract is missing.