An alternative, priority-free solution to Post’s Problem, in: Lecture Notes in Computer Science 233, 493–500 (1986)

by A Kučera
Venue:DENIS R. HIRSCHFELDT AND SEBASTIAAN A. TERWIJN