A New Method for Undecidability Proofs of First Order Theories (1992)

by Ralf Treinen
Venue:Journal of Symbolic Computation