From inductive inference to algorithmic learning theory | doi.page