Extremes in the degrees of inferability - Fortnow, L. (2014)
Annals of Pure and Applied Logic