Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)

James Harland. Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). Theoretical Computer Science, 646:61-85, 2016. [doi]

Abstract

Abstract is missing.