Elementary formal systems, intrinsic complexity, and procrastination (1997)

by Sanjay Jain, Arun Sharma
Venue:Information and Computation