A mechanical proof of the termination of Takeuchi’s function (1979)

by J Strother Moore
Venue:Information Processing Letters 9