The complexity of constructive induction - Thornton, Christopher J. (1990)