@Article{Trei:undecidability-jsc, author = "Ralf Treinen", title = "A New Method for Undecidability Proofs of First Order Theories", journal = "Journal of Symbolic Computation", year = 1992, month = nov, volume = 14, number = 5, pages = "437--457", }