induction systems: Comparisons and convergence theorems (1978)

by “Complexity-based
Venue:IEEE Trans. Inform. Theory