A simple method for undecidability proofs and some applications (1965)

by M Rabin
Venue:In Logic, Methodology and Philosophy of Science II