Turing's Computable Real Numbers and Why They Are Still Important Today.

Edmund M. Clarke

Browse the full SAT paper archive.