Text this: Algorithmic learning theory (vol. # 4264) :